Sign in
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions.
Prithvi Akella
Mohamadreza Ahmadi
Richard M. Murray
Aaron D. Ames
Published in:
CoRR (2020)
Keyphrases
</>
autonomous systems
safety critical
formal methods
autonomous navigation
fault tolerant
dynamic environments
safety analysis
embedded systems
unmanned aerial vehicles
artificial intelligence
user interface
data mining
cooperative
knowledge acquisition
knowledge based systems