Stability Verification in Stochastic Control Systems via Neural Network Supermartingales

17 December 2021

Papers citing "Stability Verification in Stochastic Control Systems via Neural Network Supermartingales"

6 / 6 papers shown

Title
Towards Efficient Verification of Quantized Neural Networks Pei Huang Haoze Wu Yuting Yang Ieva Daukantas Min Wu Yedi Zhang Clark W. Barrett MQ 30 12 0 20 Dec 2023
A Policy Optimization Method Towards Optimal-time Stability Shengjie Wang Lan Fengb Xiang Zheng Yu-wen Cao Oluwatosin Oseni Haotian Xu Tao Zhang Yang Gao 39 1 0 02 Jan 2023
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees Dorde Zikelic Mathias Lechner T. Henzinger K. Chatterjee 21 21 0 11 Oct 2022
Learning Stabilizing Policies in Stochastic Control Systems Dorde Zikelic Mathias Lechner K. Chatterjee T. Henzinger 21 3 0 24 May 2022
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning Mathias Lechner Alexander Amini Daniela Rus T. Henzinger AAML 29 9 0 15 Apr 2022
Transferring End-to-End Visuomotor Control from Simulation to Real World for a Multi-Stage Task Stephen James Andrew J. Davison Edward Johns 162 275 0 07 Jul 2017