Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments.
Catholijn M. JonkerJan TreurWieke de VriesPublished in: AOSE (2000)
Keyphrases
- dynamic environments
- autonomous agents
- agent systems
- single agent
- mobile robot
- changing environment
- agent based systems
- reinforcement learning agents
- potential field
- collision avoidance
- model checking
- path planning
- bounded model checking
- visual slam
- real environment
- learning objects
- multi agent systems
- simultaneous localization and mapping
- multi agent environments
- high level
- hardware designs
- belief space
- adaptive control
- decision theoretic
- cooperative
- multi agent