Possibilistic Cost Computation Tree Logic and Related Equivalence, Abstraction Technique
Recently, probabilistic Kripke structures have been used to represent uncertain systems; nevertheless, important transition costs were ignored in earlier studies, making it impossible to model some uncertain systems with costs. To compensate for the major shortcoming, this research addresses the tra...
Na minha lista:
| Principais autores: | , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
IEEE
2023-01-01
|
| coleção: | IEEE Access |
| Assuntos: | |
| Acesso em linha: | https://ieeexplore.ieee.org/document/9996358/ |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|