Keyphrases
- transition systems
- symbolic model checking
- model checking
- conformant planning
- multi agent
- model checker
- temporal logic
- concurrent systems
- formal verification
- finite state
- formal methods
- formal specification
- multi agent systems
- description language
- practical reasoning
- control flow
- ai planning
- multiagent systems
- belief space
- multiple agents
- single agent
- planning problems
- modal logic
- computational complexity
- fully observable
- reinforcement learning