Bidding mechanisms in graph games

by AVNI, Guy, HENZINGER, Thomas A., ZIKELIC, Dorde
Published 2021

Bidding mechanisms in graph games

by AVNI, Guy, HENZINGER, Thomas A., ZIKELIC, Dorde
Published 2019

Scalable verification of quantized neural networks

by HENZINGER, Thomas A., LECHNER, Mathias, ZIKELIC, Dorde
Published 2021

A learner-verifier framework for neural network controllers and certificates of stochastic systems

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

Infinite time horizon safety of Bayesian neural networks

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

Stability verification in stochastic control systems via neural network supermartingales

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

Compositional policy learning in stochastic control systems with formal guarantees

by ZIKELIC, Dorde, LECHNER, Mathias, Verma, Abhinav, CHATTERJEE, Krishnendu, HENZINGER, Thomas A.
Published 2024