Scalable verification of quantized neural networks

由 HENZINGER, Thomas A., LECHNER, Mathias, ZIKELIC, Dorde
出版 2021

Infinite time horizon safety of Bayesian neural networks

由 LECHNER, Mathias, ZIKELIC, Dorde, CHATTERJEE, Krishnendu, HENZINGER, Thomas A.
出版 2021

Stability verification in stochastic control systems via neural network supermartingales

由 LECHNER, Mathias, ZIKELIC, Dorde, CHATTERJEE, Krishnendu, HENZINGER, Thomas A.
出版 2024

Learning control policies for stochastic systems with reach-avoid guarantees

由 ZIKELIC, Dorde, LECHNER, Mathias, HENZINGER, A. Thomas, CHATTERJEE, Krishnendu
出版 2023

Compositional policy learning in stochastic control systems with formal guarantees

由 ZIKELIC, Dorde, LECHNER, Mathias, Verma, Abhinav, CHATTERJEE, Krishnendu, HENZINGER, Thomas A.
出版 2024

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