Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.

Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic

Browse the full ATVA paper archive.