Publications
∗ equal contribution, † authors ordered alphabetically
Conference and Journal Papers
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 soonLearning 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 soonMDPs 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ć†
preprintA 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ć†
paperOn 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ć†
paperLearning 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, preprintQuantization-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, preprintBidding Graph Games with Partially-Observable Budgets
37th AAAI Conference on Artificial Intelligence. AAAI 2023
Guy Avni, Ismaël Jecker, Đorđe Žikelić†
paper, preprintAlgorithms 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, preprintSound 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, preprintSocial 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, preprintDifferential 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, preprintStability 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, preprintInfinite 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, preprintOn 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, preprintProving 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, preprintScalable Verification of Quantized Neural Networks
35th AAAI Conference on Artificial Intelligence. AAAI 2021
Thomas A. Henzinger, Mathias Lechner, Đorđe Žikelić†
paper, preprintBidding Mechanisms in Graph Games
Journal of Computer and System Sciences 119. JCSS 2021
Guy Avni, Thomas A. Henzinger, Đorđe Žikelić†
paperInfinite-Duration All-Pay Bidding Games
ACM-SIAM Symposium on Discrete Algorithms. SODA 2021
Guy Avni, Ismaël Jecker, Đorđe Žikelić†
paper, preprintBidding Mechanisms in Graph Games
44th International Symposium on Mathematical Foundations of Computer Science. MFCS 2019
Guy Avni, Thomas A. Henzinger, Đorđe Žikelić†
paper, preprintOptimizing 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, preprintStochastic invariants for probabilistic termination
44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL 2017
Krishnendu Chatterjee, Petr Novotný, Đorđe Žikelić†
paper, preprintTheorems 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
- 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