Verifying Security Properties in Unbounded Multiagent Systems.
Ioana BoureanuPanagiotis KouvarosAlessio LomuscioPublished in: AAMAS (2016)
Keyphrases
- multiagent systems
- security properties
- formal model
- security requirements
- security analysis
- security protocols
- autonomous agents
- multi agent
- cryptographic protocols
- model checking
- formal methods
- multiagent planning
- multiagent reinforcement learning
- multi agent systems
- adjustable autonomy
- learning algorithm
- coalition formation
- standard model
- quality of service
- decentralized control