Deep Probabilistic Accelerated Evaluation: A Robust Certifiable Rare-Event Simulation Methodology for Black-Box Safety-Critical Systems.
Mansur AriefZhiyuan HuangGuru Koushik Senthil KumarYuanlu BaiShengyi HeWenhao DingHenry LamDing ZhaoPublished in: AISTATS (2021)
Keyphrases
- black box
- safety critical
- black boxes
- safety analysis
- formal methods
- agent architecture
- fault tolerant
- embedded systems
- database
- learning environment
- decision support system
- rare events
- support systems
- metamodel
- real time
- rule extraction
- decision making
- learning algorithm
- test cases
- generative model
- expert systems
- bayesian networks