Advances in Symbolic Model Checking for Multi-agent Systems.
Alessio R. LomuscioPublished in: TIME (2014)
Keyphrases
- symbolic model checking
- multi agent systems
- model checking
- partial observability
- formal verification
- conformant planning
- symbolic representation
- binary decision diagrams
- agent architecture
- multi agent
- artificial intelligence
- cooperative
- model checker
- temporal logic
- real valued
- autonomous agents
- coalition formation
- learning capabilities
- orders of magnitude
- domain specific
- search algorithm