Formal Verification of Stochastic Systems with ReLU Neural Network Controllers.

Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajic, Michael M. Zavlanos

Browse the full ICRA paper archive.