Probabilistic verification of decentralized multi-agent control strategies: a Case Study in Conflict Avoidance.
Lucia PallottinoAntonio BicchiEmilio FrazzoliPublished in: ACC (2007)
Keyphrases
- control strategies
- multi agent
- reinforcement learning
- control system
- control strategy
- cooperative
- traffic management
- resolve conflicts
- multi agent systems
- probabilistic model
- robot arm
- genetic algorithm
- multiagent systems
- conflict resolution
- bayesian networks
- controller design
- autonomous agents
- case study
- machine learning
- model checking
- control policies
- heterogeneous agents
- mathematical model
- mathematical models
- generative model