Example Applications of Formal Methods to Aerospace and Autonomous Systems.
Laura HumphreyPublished in: ICAA (2023)
Keyphrases
- autonomous systems
- formal methods
- uncertain environments
- model checking
- dynamic environments
- safety critical
- knowledge based systems
- formal specification
- artificial intelligence
- autonomous navigation
- unmanned aerial vehicles
- software engineering
- databases
- temporal logic
- modeling language
- path planning
- data fusion
- knowledge management
- multi agent