Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems

11 October 2022

Papers citing "Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems"

3 / 3 papers shown

Title
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees Dorde Zikelic Mathias Lechner Abhinav Verma K. Chatterjee T. Henzinger 38 9 0 03 Dec 2023
Learning Stabilizing Policies in Stochastic Control Systems Dorde Zikelic Mathias Lechner K. Chatterjee T. Henzinger 29 3 0 24 May 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017