Keyphrases
- transition systems
- symbolic model checking
- model checking
- conformant planning
- multi agent
- practical reasoning
- temporal logic
- model checker
- concurrent systems
- finite state
- formal verification
- reinforcement learning
- multi agent systems
- control flow
- initial state
- formal specification
- belief space
- formal methods
- partial observability
- planning problems
- multiagent systems
- ai planning
- multiple agents
- single agent
- domain specific
- knowledge base