Theorems about quadrilaterals and conics. - Dorde Baralic; Branko Grbic; Dorde Zikelic (Int. J. Comput. Math., 2014)

Optimizing Expectation with Guarantees in POMDPs (Technical Report). - Krishnendu Chatterjee; Petr Novotný 001; Guillermo A. Pérez 001; Jean-François Raskin; Dorde Zikelic (CoRR, 2016)

Optimizing Expectation with Guarantees in POMDPs. - Krishnendu Chatterjee; Petr Novotný 001; Guillermo A. Pérez 001; Jean-François Raskin; Dorde Zikelic (AAAI, 2017)

Stochastic invariants for probabilistic termination. - Krishnendu Chatterjee; Petr Novotný 001; Dorde Zikelic (POPL, 2017)

Scalable Verification of Quantized Neural Networks (Technical Report). - Thomas A. Henzinger; Mathias Lechner; Dorde Zikelic (CoRR, 2020)

Scalable Verification of Quantized Neural Networks. - Thomas A. Henzinger; Mathias Lechner; Dorde Zikelic (AAAI, 2021)

Infinite Time Horizon Safety of Bayesian Neural Networks. - Mathias Lechner; Dorde Zikelic; Krishnendu Chatterjee; Thomas A. Henzinger (NeurIPS, 2021)

Proving non-termination by program reversal. - Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotný 001; Dorde Zikelic (PLDI, 2021)

Infinite-Duration All-Pay Bidding Games. - Guy Avni; Ismaël Jecker; Dorde Zikelic (SODA, 2021)

Bidding mechanisms in graph games. - Guy Avni; Thomas A. Henzinger; Dorde Zikelic (J. Comput. Syst. Sci., 2021)

Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. - Mathias Lechner; Dorde Zikelic; Krishnendu Chatterjee; Thomas A. Henzinger (AAAI, 2022)

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. - Krishnendu Chatterjee; Amir Kafshdar Goharshady; Tobias Meggendorfer; Dorde Zikelic (CAV (1), 2022)

Algorithms and Hardness Results for Computing Cores of Markov Chains. - Ali Ahmadi; Krishnendu Chatterjee; Amir Kafshdar Goharshady; Tobias Meggendorfer; Roodabeh Safavi; Dorde Zikelic (FSTTCS, 2022)

Differential cost analysis with simultaneous potentials and anti-potentials. - Dorde Zikelic; Bor-Yuh Evan Chang; Pauline Bolignano; Franco Raimondi (PLDI, 2022)

Learning Stabilizing Policies in Stochastic Control Systems. - Dorde Zikelic; Mathias Lechner; Krishnendu Chatterjee; Thomas A. Henzinger (CoRR, 2022)

Social Balance on Networks: Local Minima and Best Edge Dynamics. - Krishnendu Chatterjee; Jakub Svoboda; Dorde Zikelic; Andreas Pavlogiannis; Josef Tkadlec (CoRR, 2022)

Learning Control Policies for Region Stabilization in Stochastic Systems. - Matin Ansaripour; Mathias Lechner; Dorde Zikelic; Krishnendu Chatterjee; Thomas A. Henzinger (CoRR, 2022)

Bidding Graph Games with Partially-Observable Budgets. - Guy Avni; Ismaël Jecker; Dorde Zikelic (AAAI, 2023)

Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. - Mathias Lechner; Dorde Zikelic; Krishnendu Chatterjee; Thomas A. Henzinger; Daniela Rus (AAAI, 2023)

Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. - Dorde Zikelic; Mathias Lechner; Thomas A. Henzinger; Krishnendu Chatterjee (AAAI, 2023)

Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. - Matin Ansaripour; Krishnendu Chatterjee; Thomas A. Henzinger; Mathias Lechner; Dorde Zikelic (ATVA (1), 2023)

MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. - S. Akshay 001; Krishnendu Chatterjee; Tobias Meggendorfer; Dorde Zikelic (CAV (3), 2023)

Reachability Poorman Discrete-Bidding Games. - Guy Avni; Tobias Meggendorfer; Suman Sadhukhan; Josef Tkadlec; Dorde Zikelic (ECAI, 2023)

Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. - Dorde Zikelic; Mathias Lechner; Abhinav Verma; Krishnendu Chatterjee; Thomas A. Henzinger (NeurIPS, 2023)

A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. - Krishnendu Chatterjee; Thomas A. Henzinger; Mathias Lechner; Dorde Zikelic (TACAS (1), 2023)

On Lexicographic Proof Rules for Probabilistic Termination. - Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotný 001; Jiri Zárevúcky; Dorde Zikelic (Formal Aspects Comput., 2023)

Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs. - Krishnendu Chatterjee; Amir Kafshdar Goharshady; Ehsan Kafshdar Goharshady; Mehrdad Karrabi; Dorde Zikelic (FM (1), 2024)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties. - S. Akshay 001; Krishnendu Chatterjee; Tobias Meggendorfer; Dorde Zikelic (IJCAI, 2024)

Solving Long-run Average Reward Robust MDPs via Stochastic Games. - Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Mehrdad Karrabi; Petr Novotný 001; Dorde Zikelic (IJCAI, 2024)

PolyHorn: A Polynomial Horn Clause Solver. - Krishnendu Chatterjee; Amir Kafshdar Goharshady; Ehsan Kafshdar Goharshady; Mehrdad Karrabi; Milad Saadat; Dorde Zikelic (CoRR, 2024)

Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies. - Jieke Shi; Junda He; Zhou Yang 003; Dorde Zikelic; David Lo 001 (CoRR, 2024)

Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. - Krishnendu Chatterjee; Amirali Ebrahim-Zadeh; Mehrdad Karrabi; Krzysztof Pietrzak; Michelle Yeo; Dorde Zikelic (IACR Cryptol. ePrint Arch., 2024)

Quantitative Bounds on Resource Usage of Probabilistic Programs. - Krishnendu Chatterjee; Amir Kafshdar Goharshady; Tobias Meggendorfer; Dorde Zikelic (Proc. ACM Program. Lang., 2024)

Equivalence and Similarity Refutation for Probabilistic Programs. - Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotný 001; Dorde Zikelic (Proc. ACM Program. Lang., 2024)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization. - Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Mehrdad Karrabi; Harshit J. Motwani; Maximilian Seeliger; Dorde Zikelic (AAAI, 2025)

Neural Control and Certificate Repair via Runtime Monitoring. - Emily Yu; Dorde Zikelic; Thomas A. Henzinger (AAAI, 2025)

Supermartingale Certificates for Quantitative Omega-Regular Verification and Control. - Thomas A. Henzinger; Kaushik Mallik; Pouya Sadeghi; Dorde Zikelic (CAV (2), 2025)

Predictive Monitoring of Black-Box Dynamical Systems. - Thomas A. Henzinger; Fabian Kresse; Kaushik Mallik; Emily Yu; Djordje Zikelic (L4DC, 2025)

Refuting Equivalence in Probabilistic Programs with Conditioning. - Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotný 001; Dorde Zikelic (TACAS (2), 2025)

The Singapore Consensus on Global AI Safety Research Priorities. - Yoshua Bengio; Tegan Maharaj; Luke Ong; Stuart Russell 001; Dawn Song; Max Tegmark; Lan Xue; Ya-Qin Zhang; Stephen Casper; Wan Sie Lee; Sören Mindermann; Vanessa Wilfred; et al. (CoRR, 2025)

Omega-regular Verification and Control for Distributional Specifications in MDPs. - S. Akshay 001; Ouldouz Neysari; Dorde Zikelic (CoRR, 2025)