Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL.
Annabelle McIverCarroll MorganPublished in: Theor. Comput. Sci. (2003)
Keyphrases
- temporal logic
- model checking
- modal logic
- satisfiability problem
- transition systems
- verification method
- mazurkiewicz traces
- concurrent systems
- qualitative and quantitative
- belief revision
- computation tree logic
- probability distribution
- linear temporal logic
- model checker
- formal specification
- probability theory
- domain independent
- qualitative differential equations