Login / Signup
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