Formal Verification of Stochastic Systems with ReLU Neural Network Controllers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Shiqi Sun' in GoogleThis author has not been identified. Look up 'Yan Zhang' in GoogleThis author has not been identified. Look up 'Xusheng Luo' in GoogleThis author has not been identified. Look up 'Panagiotis Vlantis' in GoogleThis author has not been identified. Look up 'Miroslav Pajic' in GoogleThis author has not been identified. Look up 'Michael M. Zavlanos' in Google

runs on WebDSL