Verifying BDI Agents in Dynamic Environments.
Blair ArchibaldMuffy CalderMichele SevegnaniMengwei XuPublished in: SEKE (2022)
Keyphrases
- dynamic environments
- bdi agents
- autonomous agents
- mental states
- agent architecture
- mobile robot
- multi context systems
- model checking
- changing environment
- agent model
- path planning
- agent systems
- collision avoidance
- real environment
- mental attitudes
- autonomous systems
- highly dynamic environments
- multi agent systems
- artificial neural networks
- belief desire intention
- potential field
- cognitive agents
- obstacle avoidance