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"

2 / 2 papers shown

Title
Learning Stabilizing Policies in Stochastic Control Systems Dorde Zikelic Mathias Lechner K. Chatterjee T. Henzinger 8 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 226 1,835 0 03 Feb 2017