Žikelić, Đorđe

2 publications

NeurIPS 2023 Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees Đorđe Žikelić, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas Henzinger

NeurIPS 2021 Infinite Time Horizon Safety of Bayesian Neural Networks Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas Henzinger