Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models.
Steen VesterPublished in: CoRR (2014)
Keyphrases
- model checking
- alternating time temporal logic
- imperfect information
- temporal logic
- reactive systems
- formal verification
- finite state
- model checker
- temporal properties
- symbolic model checking
- bounded model checking
- game theoretic
- timed automata
- game theory
- concurrent systems
- formal methods
- game playing
- verification method
- binary decision diagrams
- automated verification
- formal specification