Learning control policies for stochastic systems with reach-avoid guarantees

بواسطة ZIKELIC, Dorde, LECHNER, Mathias, HENZINGER, A. Thomas, CHATTERJEE, Krishnendu
منشور في 2023

Learning provably stabilizing neural controllers for discrete-time stochastic systems

بواسطة ANSARIPOUR, Matin, CHATTERJEE, Krishnendu, HENZINGER, A. Thomas, LECHNER, Mathias, ZIKELIC, Dorde
منشور في 2023

Quantization-aware interval bound propagation for training certifiably robust quantized neural networks

بواسطة LECHNER, Mathias, ZIKELIC, Dorde, CHATTERJEE, Krishnendu, HENZINGER, A. Thomas, RUS, Daniela
منشور في 2023