Translating a Continuous-Time Temporal Logic into Timed Automata.
Guangyuan LiZhisong TangPublished in: APLAS (2003)
Keyphrases
- timed automata
- temporal logic
- model checking
- reachability analysis
- modal logic
- markov chain
- satisfiability problem
- formal verification
- model checker
- finite state
- concurrent systems
- verification method
- transition systems
- dynamical systems
- formal specification
- epistemic logic
- bounded model checking
- symbolic model checking
- computation tree logic
- formal methods
- linear temporal logic
- mazurkiewicz traces
- state space
- formal specification language
- reactive systems
- optimal control
- real time
- planning domains
- heuristic search