Safety-Critical Controller Verification via Sim2Real Gap Quantification.

Prithvi Akella Wyatt Ubellacker Aaron D. Ames

Published in: CoRR (2022)

Keyphrases

safety critical
formal methods
safety analysis
control system
fault tolerant
agent architecture
nuclear power plant
model checking
real time
embedded systems
databases
e learning
reinforcement learning
software engineering
regulatory requirements