Verification of agent navigation in partially-known environments.
Benjamin AminofAniello MuranoSasha RubinFlorian ZulegerPublished in: Artif. Intell. (2022)
Keyphrases
- dynamic environments
- multi agent systems
- multi agent
- model checking
- multiagent systems
- open environments
- mobile agents
- decision making
- autonomous agents
- agent environment
- multi agent environments
- interface agent
- agent systems
- software agents
- interacting agents
- agent architecture
- real world
- computing environments
- underwater vehicles
- data sets
- open multiagent systems
- asynchronous circuits
- conversational agent
- artificial agents
- open systems
- signature verification
- action selection
- robot navigation
- pedagogical agents
- indoor environments
- learning environment
- artificial intelligence