Publications

equal contribution, authors ordered alphabetically

Conference and Journal Papers

  1. Reachability Poorman Discrete-Bidding Games
    To apper in the 26th European Conference on Artificial Intelligence. ECAI 2023
    Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Đorđe Žikelić
    coming soon

  2. Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems
    To apper in the 21st International Symposium on Automated Technology for Verification and Analysis. ATVA 2023
    Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Đorđe Žikelić
    coming soon

  3. MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives
    To appear in the 35th International Conference on Computer Aided Verification. CAV 2023
    S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Đorđe Žikelić
    preprint

  4. A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems
    29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2023
    Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Đorđe Žikelić
    paper

  5. On Lexicographic Proof Rules for Probabilistic Termination
    To appear in Formal Aspects of Computing. FAC 2023
    Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, Đorđe Žikelić
    paper

  6. Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
    37th AAAI Conference on Artificial Intelligence. AAAI 2023
    Đorđe Žikelić, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger
    paper, preprint

  7. Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
    37th AAAI Conference on Artificial Intelligence. AAAI 2023
    Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus
    paper, preprint

  8. Bidding Graph Games with Partially-Observable Budgets
    37th AAAI Conference on Artificial Intelligence. AAAI 2023
    Guy Avni, Ismaël Jecker, Đorđe Žikelić
    paper, preprint

  9. Algorithms and Hardness Results for Computing Cores of Markov Chains
    42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS 2022
    Ali Ahmadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi, Đorđe Žikelić
    paper, preprint

  10. Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
    34th International Conference on Computer Aided Verification. CAV 2022
    Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Đorđe Žikelić
    paper, preprint

  11. Social Balance on Networks: Local Minima and Best-edge Dynamics
    Physical Review E. PRE 2022
    Krishnendu Chatterjee, Jakub Svoboda, Đorđe Žikelić, Andreas Pavlogiannis and Josef Tkadlec
    paper, preprint

  12. Differential Cost Analysis with Simultaneous Potentials and Anti-potentials
    44th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2022
    Đorđe Žikelić, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
    paper, preprint

  13. Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
    36th AAAI Conference on Artificial Intelligence. AAAI 2022
    Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger
    paper, preprint

  14. Infinite Time Horizon Safety of Bayesian Neural Networks
    35th Conference on Neural Information Processing Systems. NeurIPS 2021
    Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger
    paper, preprint

  15. On Lexicographic Proof Rules for Probabilistic Termination
    24th International Symposium on Formal Methods. FM 2021
    Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, Đorđe Žikelić
    paper, preprint

  16. Proving Non-termination by Program Reversal
    43rd ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2021
    Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić
    paper, preprint

  17. Scalable Verification of Quantized Neural Networks
    35th AAAI Conference on Artificial Intelligence. AAAI 2021
    Thomas A. Henzinger, Mathias Lechner, Đorđe Žikelić
    paper, preprint

  18. Bidding Mechanisms in Graph Games
    Journal of Computer and System Sciences 119. JCSS 2021
    Guy Avni, Thomas A. Henzinger, Đorđe Žikelić
    paper

  19. Infinite-Duration All-Pay Bidding Games
    ACM-SIAM Symposium on Discrete Algorithms. SODA 2021
    Guy Avni, Ismaël Jecker, Đorđe Žikelić
    paper, preprint

  20. Bidding Mechanisms in Graph Games
    44th International Symposium on Mathematical Foundations of Computer Science. MFCS 2019
    Guy Avni, Thomas A. Henzinger, Đorđe Žikelić
    paper, preprint

  21. Optimizing Expectation with Guarantees in POMDPs
    31st AAAI Conference on Artificial Intelligence. AAAI 2017
    Krishnendu Chatterjee, Petr Novotný, Guillermo A. Perez, Jean-Francois Raskin, Đorđe Žikelić
    paper, preprint

  22. Stochastic invariants for probabilistic termination
    44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL 2017
    Krishnendu Chatterjee, Petr Novotný, Đorđe Žikelić
    paper, preprint

  23. Theorems about quadrilaterals and conics
    International Journal of Computer Mathematics 91 (7). Int. J. Comp. Math. 2014
    Đorđe Baralić, Branko Grbić, Đorđe Žikelić
    paper

Workshop Papers

  1. Learning Stabilizing Policies in Stochastic Control Systems
    ICLR 2022 Workshop on Socially Responsible Machine Learning (SRML). SRML@ICLR 2022
    Đorđe Žikelić, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger
    preprint