Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents.
Rong GuEduard EnoiuCristina SeceleanuKristina LundqvistPublished in: FMICS (2020)
Keyphrases
- autonomous agents
- multi agent systems
- dynamic environments
- incomplete information
- multiagent systems
- multi agent
- resource bounded
- open systems
- changing environment
- heterogeneous agents
- distributed control
- agent negotiation
- complex environments
- coalition formation
- mental states
- control architecture
- agent behavior
- intelligent behavior
- computational systems
- virtual humans
- game theory
- control system
- machine learning