Modeling Norm Specification and Verification in Multiagent Systems.
Natasha AlechinaBrian LoganMehdi DastaniPublished in: FLAP (2018)
Keyphrases
- multiagent systems
- autonomous agents
- multi agent
- multiagent planning
- colored petri nets
- formal verification
- distributed artificial intelligence
- decentralized control
- multiagent architecture
- multi agent systems
- asynchronous circuits
- formal methods
- coalition formation
- dynamic environments
- model checking
- trust model
- multiagent learning
- agent based systems
- robotic soccer
- reinforcement learning