Keyphrases
- real time systems
- symbolic model checking
- model checking
- partial observability
- formal verification
- conformant planning
- real time
- distributed systems
- symbolic representation
- binary decision diagrams
- model checker
- embedded systems
- temporal logic
- machine learning
- software systems
- low cost
- planning domains
- finite state
- formal specification
- open source
- artificial intelligence