Žikelić, Đorđe

3 publications

ICLR 2026 Automating the Refinement of Reinforcement Learning Specifications Tanmay Ambadkar, Đorđe Žikelić, Abhinav Verma

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