Symbolic Model Checking for Real-Time Systems
Thomas A. HenzingerXavier NicollinJoseph SifakisSergio YovinePublished in: Inf. Comput. (1994)
Keyphrases
- real time systems
- symbolic model checking
- model checking
- formal verification
- partial observability
- real time
- conformant planning
- embedded systems
- distributed systems
- symbolic representation
- model checker
- temporal logic
- binary decision diagrams
- planning problems
- search strategies
- markov decision process
- software engineering
- knowledge representation
- reinforcement learning