Formal Analysis of Timing Diversity for Autonomous Systems.
Anika ChristmannRobin HapkaRolf ErnstPublished in: DATE (2023)
Keyphrases
- formal analysis
- autonomous systems
- dynamic environments
- uncertain environments
- autonomous navigation
- agent model
- formal methods
- situation awareness
- dynamic and uncertain environments
- ban logic
- unmanned aerial vehicles
- information sharing
- intelligent systems
- software development
- low cost
- mobile robot
- artificial intelligence