Verifiable strategy synthesis for multiple autonomous agents: a scalable approach.
Rong GuPeter Gjøl JensenDanny Bøgsted PoulsenCristina SeceleanuEduard EnoiuKristina LundqvistPublished in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
- autonomous agents
- multi agent systems
- dynamic environments
- incomplete information
- heterogeneous agents
- multiagent systems
- multi agent
- resource bounded
- intelligent behavior
- open systems
- coalition formation
- win win
- control architecture
- changing environment
- mental states
- complex environments
- learning agents
- agent behavior
- artificial intelligence
- distributed artificial intelligence
- intelligent agents
- distributed control
- mobile robot
- negotiation mechanism
- decision making