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]
@inproceedings{SunZLVPZ22,
title = {Formal Verification of Stochastic Systems with ReLU Neural Network Controllers},
author = {Shiqi Sun and Yan Zhang and Xusheng Luo and Panagiotis Vlantis and Miroslav Pajic and Michael M. Zavlanos},
year = {2022},
doi = {10.1109/ICRA46639.2022.9811866},
url = {https://doi.org/10.1109/ICRA46639.2022.9811866},
researchr = {https://researchr.org/publication/SunZLVPZ22},
cites = {0},
citedby = {0},
pages = {6800-6806},
booktitle = {2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022},
publisher = {IEEE},
isbn = {978-1-7281-9681-7},
}