 Verifying Safety of Neural Networks from Topological PerspectivesScience of Computer Programming (SCP), 2023 |
 Safety Verification for Neural Networks Based on Set-boundary AnalysisTheoretical Aspects of Software Engineering (TASE), 2022 |
 Reachability Analysis of a General Class of Neural Ordinary Differential
EquationsInternational Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2022 |
 Infinite Time Horizon Safety of Bayesian Neural NetworksNeural Information Processing Systems (NeurIPS), 2021 |
 On The Verification of Neural ODEs with Stochastic GuaranteesAAAI Conference on Artificial Intelligence (AAAI), 2020 |
