Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajic, Michael M. Zavlanos. Formal Verification of Stochastic Systems with ReLU Neural Network Controllers. In 2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022. pages 6800-6806, IEEE, 2022. [doi]
Abstract is missing.