Keyphrases
- symbolic model checking
- model checking
- partial observability
- formal verification
- symbolic representation
- reinforcement learning
- binary decision diagrams
- conformant planning
- model checker
- temporal logic
- formal specification
- data mining
- reward function
- markov decision processes
- domain specific
- data structure
- artificial intelligence