Symbolic model checking for agent interactions.
Mohamed El-MenshawyWei WanJamal BentaharRachida DssouliPublished in: AAMAS (2010)
Keyphrases
- agent interactions
- symbolic model checking
- model checking
- multi agent systems
- intelligent agents
- partial observability
- formal verification
- software agents
- multi agent
- conformant planning
- symbolic representation
- binary decision diagrams
- model checker
- distributed learning
- temporal logic
- planning domains
- partially observable
- dynamic environments
- intelligent systems
- search space
- learning environment