Continuous time temporal logic with counting.
Yoram HirshfeldAlexander RabinovichPublished in: Inf. Comput. (2012)
Keyphrases
- temporal logic
- model checking
- modal logic
- markov chain
- satisfiability problem
- belief revision
- optimal control
- concurrent systems
- dynamical systems
- computation tree logic
- mazurkiewicz traces
- linear temporal logic
- verification method
- automata theoretic
- temporal knowledge
- bounded model checking
- reactive systems
- dynamic constraints
- transition systems