Learning control policies for stochastic systems with reach-avoid guarantees

by ZIKELIC, Dorde, LECHNER, Mathias, HENZINGER, A. Thomas, CHATTERJEE, Krishnendu
Published 2023

Learning provably stabilizing neural controllers for discrete-time stochastic systems

by ANSARIPOUR, Matin, CHATTERJEE, Krishnendu, HENZINGER, A. Thomas, LECHNER, Mathias, ZIKELIC, Dorde
Published 2023

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

by LECHNER, Mathias, ZIKELIC, Dorde, CHATTERJEE, Krishnendu, HENZINGER, A. Thomas, RUS, Daniela
Published 2023