Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions.
Prithvi AkellaMohamadreza AhmadiRichard M. MurrayAaron D. AmesPublished in: CDC (2020)
Keyphrases
- autonomous systems
- safety critical
- formal methods
- dynamic environments
- fault tolerant
- safety analysis
- unmanned aerial vehicles
- autonomous navigation
- agent architecture
- knowledge base
- multi agent
- formal specification
- adaptive systems
- support systems
- data mining
- control algorithm
- control system
- artificial intelligence