From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles.
Samuel BucheliDaniel KroeningRuben MartinsAshutosh NatrajPublished in: TAROS (2015)
Keyphrases
- unmanned aerial vehicles
- operational semantics
- path planning
- bdi agents
- search and rescue
- autonomous systems
- agent architecture
- agent programming
- control algorithm
- multi agent systems
- mental states
- aerial vehicles
- human operators
- dynamic environments
- formal semantics
- game theoretic
- motion planning
- human computer interaction
- search engine