CVaR-based Safety Analysis for the Infinite Time Setting.

Chuanning Wei Michael Fauss Margaret P. Chapman

Published in: CoRR (2021)

Keyphrases

safety analysis
control system
safety critical
nuclear power plant
fault model
symbolic model checking
neural network
learning systems
embedded systems
formal methods
clinical trials
reliability analysis