Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents.
Marc SpisländerFrancesca SagliettiPublished in: SEAA (2018)
Keyphrases
- autonomous agents
- multi agent systems
- multi agent
- multiagent systems
- dynamic environments
- incomplete information
- cooperative
- open systems
- complex environments
- win win
- control architecture
- resource bounded
- model checking
- distributed artificial intelligence
- agent negotiation
- distributed control
- changing environment
- cooperative problem solving
- mental states
- multi agent environments
- intelligent agents
- intelligent behavior
- heterogeneous agents
- formal methods
- agent behavior
- negotiation strategies
- rational agents
- web services
- software agents
- reinforcement learning