Publications
∗ equal contribution, † authors ordered alphabetically
Conference and Journal Papers
2026
(PLDI 2026) 48th ACM SIGPLAN Conference on Programming Language Design and Implementation
SuperDP: Differential Privacy Refutation via Supermartingales
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Đorđe Žikelić†
to appear(ICLR 2026) 14th International Conference on Learning Representations
Automating the Refinement of Reinforcement Learning Specifications
Tanmay Ambadkar, Đorđe Žikelić, Abhinav Verma
paper, preprint
2025
(TOSEM 2026) ACM Transactions on Software Engineering and Methodology
Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies
Jieke Shi, Junda He, Zhou Yang, Đorđe Žikelić, David Lo
paper, preprint(ATVA 2025) 23rd International Symposium on Automated Technology for Verification and Analysis
PolyQEnt: A Polynomial Quantified Entailment Solver
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Đorđe Žikelić†
Distinguished Tool Paper Award
paper, preprint, PolyQEnt tool(CONCUR 2025) 36th International Conference on Concurrency Theory
Omega-regular Verification and Control for Distributional Specifications in MDPs
S. Akshay, Ouldouz Neysari, Đorđe Žikelić†
paper, preprint(IJCAI 2025) 34th International Joint Conference on Artificial Intelligence
LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Goharshady, Harshit J Motwani, Đorđe Žikelić†
paper, preprint(CAV 2025) 37th International Conference on Computer Aided Verification
Supermartingale Certificates for Quantitative Omega-regular Verification and Control
Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi, Đorđe Žikelić†
paper, preprint(L4DC 2025) 7th Annual Learning for Dynamics & Control Conference
Predictive Monitoring of Black-Box Dynamical Systems
Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, Đorđe Žikelić†
paper, preprint(TACAS 2025) 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Refuting Equivalence in Probabilistic Programs with Conditioning
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić†
paper, preprint(AAAI 2025) 39th AAAI Conference on Artificial Intelligence
Neural Control and Certificate Repair via Runtime Monitoring
Emily Yu, Đorđe Žikelić, Thomas A. Henzinger
paper, preprint(AAAI 2025) 39th AAAI Conference on Artificial Intelligence
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J Motwani, Maximilian Seeliger, Đorđe Žikelić†
paper, preprint
2024
(FM 2024) 26th International Symposium on Formal Methods
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Đorđe Žikelić†
Distinguished Paper Award
paper, preprint(PODC 2024) 43rd ACM Symposium on Principles of Distributed Computing
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Đorđe Žikelić†
paper, preprint(IJCAI 2024) 33rd International Joint Conference on Artificial Intelligence
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Đorđe Žikelić†
paper, preprint(IJCAI 2024) 33rd International Joint Conference on Artificial Intelligence
Solving Long-run Average Reward Robust MDPs via Stochastic Games
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Đorđe Žikelić†
paper, preprint(PLDI 2024) 46th ACM SIGPLAN Conference on Programming Language Design and Implementation
Equivalence and Similarity Refutation for Probabilistic Programs
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić†
paper, preprint(OOPSLA 2024) ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
Quantitative Bounds on Resource Usage of Probabilistic Programs
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Đorđe Žikelić†
paper, preprint
2023
(NeurIPS 2023) 37th Conference on Neural Information Processing Systems
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
Đorđe Žikelić∗, Mathias Lechner∗, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
paper, preprint(ECAI 2023) 26th European Conference on Artificial Intelligence
Reachability Poorman Discrete-Bidding Games
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Đorđe Žikelić†
paper, preprint(ATVA 2023) 21st International Symposium on Automated Technology for Verification and Analysis
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems
Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Đorđe Žikelić†
paper, preprint(CAV 2023) 35th International Conference on Computer Aided Verification
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Đorđe Žikelić†
paper, preprint(TACAS 2023) 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems (invited)
Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Đorđe Žikelić†
paper(FAC 2023) Formal Aspects of Computing
On Lexicographic Proof Rules for Probabilistic Termination
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, Đorđe Žikelić†
paper(AAAI 2023) 37th AAAI Conference on Artificial Intelligence
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Đorđe Žikelić∗, Mathias Lechner∗, Krishnendu Chatterjee, Thomas A. Henzinger
paper, preprint(AAAI 2023) 37th AAAI Conference on Artificial Intelligence
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus
paper, preprint(AAAI 2023) 37th AAAI Conference on Artificial Intelligence
Bidding Graph Games with Partially-Observable Budgets
Guy Avni, Ismaël Jecker, Đorđe Žikelić†
paper, preprint
2022
(FSTTCS 2022) 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Algorithms and Hardness Results for Computing Cores of Markov Chains
Ali Ahmadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi, Đorđe Žikelić†
paper, preprint(CAV 2022) 34th International Conference on Computer Aided Verification
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Đorđe Žikelić†
paper, preprint(PRE 2022) Physical Review E
Social Balance on Networks: Local Minima and Best-edge Dynamics
Krishnendu Chatterjee, Jakub Svoboda, Đorđe Žikelić, Andreas Pavlogiannis and Josef Tkadlec
paper, preprint(PLDI 2022) 44th ACM SIGPLAN Conference on Programming Language Design and Implementation
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials
Đorđe Žikelić, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
Featured in the Amazon Science blog
paper, preprint(AAAI 2022) 36th AAAI Conference on Artificial Intelligence
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
Mathias Lechner∗, Đorđe Žikelić∗, Krishnendu Chatterjee, Thomas A. Henzinger
paper, preprint
2021
(NeurIPS 2021) 35th Conference on Neural Information Processing Systems
Infinite Time Horizon Safety of Bayesian Neural Networks
Mathias Lechner∗, Đorđe Žikelić∗, Krishnendu Chatterjee, Thomas A. Henzinger
paper, preprint(FM 2021) 24th International Symposium on Formal Methods
On Lexicographic Proof Rules for Probabilistic Termination
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, Đorđe Žikelić†
Invited to the Special Collection from FM 2021 dedicated to best papers
paper, preprint(PLDI 2021) 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation
Proving Non-termination by Program Reversal
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić†
paper, preprint(AAAI 2021) 35th AAAI Conference on Artificial Intelligence
Scalable Verification of Quantized Neural Networks
Thomas A. Henzinger, Mathias Lechner, Đorđe Žikelić†
paper, preprint(JCSS 2021) Journal of Computer and System Sciences 119
Bidding Mechanisms in Graph Games
Guy Avni, Thomas A. Henzinger, Đorđe Žikelić†
paper(SODA 2021) ACM-SIAM Symposium on Discrete Algorithms
Infinite-Duration All-Pay Bidding Games
Guy Avni, Ismaël Jecker, Đorđe Žikelić†
paper, preprint
2019
- (MFCS 2019) 44th International Symposium on Mathematical Foundations of Computer Science
Bidding Mechanisms in Graph Games
Guy Avni, Thomas A. Henzinger, Đorđe Žikelić†
paper, preprint
2017
(AAAI 2017) 31st AAAI Conference on Artificial Intelligence
Optimizing Expectation with Guarantees in POMDPs
Krishnendu Chatterjee, Petr Novotný, Guillermo A. Perez, Jean-Francois Raskin, Đorđe Žikelić†
paper, preprint(POPL 2017) 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Stochastic invariants for probabilistic termination
Krishnendu Chatterjee, Petr Novotný, Đorđe Žikelić†
paper, preprint
2014
- (Int. J. Comp. Math. 2014) International Journal of Computer Mathematics 91 (7)
Theorems about quadrilaterals and conics
Đorđe Baralić, Branko Grbić, Đorđe Žikelić†
paper
Workshop Papers
2022
- (SRML@ICLR 2022) ICLR 2022 Workshop on Socially Responsible Machine Learning (SRML)
Learning Stabilizing Policies in Stochastic Control Systems
Đorđe Žikelić∗, Mathias Lechner∗, Krishnendu Chatterjee, Thomas A. Henzinger
preprint
PhD Thesis
Automated Verification and Control of Infinite State Stochastic Systems
Institute of Science and Technology Austria (ISTA). 2023
Đorđe Žikelić
thesis