TAMAA: UPPAAL-based mission planning for autonomous agents.
Rong GuEduard EnoiuCristina SeceleanuPublished in: SAC (2020)
Keyphrases
- autonomous agents
- mission planning
- model checking
- dynamic environments
- multi agent systems
- incomplete information
- multiagent systems
- multi agent
- decision making
- changing environment
- heterogeneous agents
- control architecture
- controller synthesis
- distributed control
- agent negotiation
- coalition formation
- timed automata
- complex environments
- open systems
- computational systems
- resource bounded
- bdi agents
- learning agents
- intelligent behavior
- decision makers
- mental states
- agent behavior
- multi agent environments