Publications

^∗ equal contribution, ⁺ authors ordered alphabetically

Conference Papers

1. 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
   preprint

2. 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
   preprint

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

4. 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ć⁺
   preprint

5. 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

6. 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

7. 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

8. 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

9. 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

10. 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

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

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

13. 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

14. 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

15. 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

Journal Papers

1. 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, preprint

2. 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

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

4. 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