The following publications are possibly variants of this publication:
- Probabilistic Guarantees for Safe Deep Reinforcement LearningEdoardo Bacci, David Parker 0001. formats 2020: 231-248 [doi]
- Neural Network Repair with Reachability AnalysisXiaodong Yang, Tom Yamaguchi 0001, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov. formats 2022: 221-236 [doi]
- DiffRNN: Differential Verification of Recurrent Neural NetworksSara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang 0001. formats 2021: 117-134 [doi]
- Systematic Generation of Diverse Benchmarks for DNN VerificationDong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum. cav 2020: 97-121 [doi]