A Formal Verification Framework for Runtime Assurance.

J. Tanner Slagel Lauren M. White Aaron Dutle César A. Muñoz Nicolas Crespo

Published in: NFM (2024)

Keyphrases

formal verification
artificial intelligence
case study
main contribution
real time
neural network
knowledge representation
open source
software development
lightweight
theoretical framework
domain independent
software architecture
conceptual framework