Towards Symbolic Model Checking for Multi-agent Systems via OBDD's.
Franco RaimondiAlessio LomuscioPublished in: FAABS (2004)
Keyphrases
- symbolic model checking
- deterministic domains
- multi agent systems
- model checking
- formal verification
- partial observability
- conformant planning
- temporal logic
- binary decision diagrams
- symbolic representation
- model checker
- multi agent
- autonomous agents
- agent architecture
- cooperative
- formal specification
- coalition formation
- reinforcement learning
- single agent
- finite state