A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems.

Ali Baheri Hao Ren Benjamin Johnson Pouria Razzaghi Peng Wei

Published in: CoRR (2022)

Keyphrases

safety critical
learning systems
safety analysis
formal methods
learning algorithm
knowledge acquisition
learning process
agent architecture
nuclear power plant
model checking
fault tolerant
reinforcement learning
real time
intelligent systems
cooperative
intelligent agents
embedded systems
learning environment