Formal Verification of Safety Critical Autonomous Systems via Bayesian Optimization.

Prithvi Akella Ugo Rosolia Andrew Singletary Aaron D. Ames

Published in: CoRR (2020)

Keyphrases

autonomous systems
formal verification
safety critical
model checking
formal methods
model checker
dynamic environments
fault tolerant
embedded systems
formal specification
symbolic model checking
fuzzy logic
agent architecture
expert systems
autonomous navigation