Compositional Verification of Agents in Dynamic Environments: a Case Study.
Catholijn M. JonkerJan TreurWieke de VriesPublished in: EUROVAV (1998)
Keyphrases
- dynamic environments
- autonomous agents
- single agent
- agent systems
- path planning
- mobile robot
- agent based systems
- reinforcement learning agents
- model checking
- test bed
- autonomous systems
- potential field
- visual slam
- changing environment
- real environment
- multi agent
- adaptive control
- case study
- belief space
- highly dynamic environments