Safety-Critical Controller Verification via Sim2Real Gap Quantification.

Prithvi Akella Wyatt Ubellacker Aaron D. Ames

Published in: ICRA (2023)

Keyphrases

safety critical
formal methods
safety analysis
control system
real time
model checking
nuclear power plant
agent architecture
fault tolerant
embedded systems
support systems
regulatory requirements
artificial intelligence
object oriented
adaptive systems