Symbolic Model Checking for Real-time Systems
Thomas A. HenzingerXavier NicollinJoseph SifakisSergio YovinePublished in: LICS (1992)
Keyphrases
- real time systems
- symbolic model checking
- model checking
- partial observability
- formal verification
- real time
- conformant planning
- binary decision diagrams
- symbolic representation
- distributed systems
- model checker
- embedded systems
- temporal logic
- planning problems
- computational intelligence
- planning domains
- formal methods
- reinforcement learning
- database systems
- artificial intelligence