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