Dorde Zikelic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
12
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Parallel Abstract Interpretation for Polynomial Programs with Range Bound Assertions. | S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Goharshady, Harshit Jitendra Motwani, Dorde Zikelic |
| 2025 | AAAI | Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic |
| 2025 | AAAI | Neural Control and Certificate Repair via Runtime Monitoring. | Emily Yu, Dorde Zikelic, Thomas A. Henzinger |
| 2025 | ATVA | PolyQEnt: A Polynomial Quantified Entailment Solver. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic |
| 2025 | CAV | Supermartingale Certificates for Quantitative Omega-Regular Verification and Control. | Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi, Dorde Zikelic |
| 2025 | IJCAI | LP-Based Weighted Model Integration over Non-Linear Real Arithmetic. | S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Dorde Zikelic |
| 2025 | TACAS | Refuting Equivalence in Probabilistic Programs with Conditioning. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Dorde Zikelic |
| 2024 | FM | 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 |
| 2024 | IJCAI | Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties. | S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic |
| 2024 | IJCAI | Solving Long-run Average Reward Robust MDPs via Stochastic Games. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotn, Dorde Zikelic |
| 2024 | PODC | Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. | Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic |
| 2023 | AAAI | Bidding Graph Games with Partially-Observable Budgets. | Guy Avni, Ismal Jecker, Dorde Zikelic |
| 2023 | AAAI | Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. | Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus |
| 2023 | AAAI | Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. | Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee |
| 2023 | ATVA | Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. | Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic |
| 2023 | CAV | MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. | S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic |
| 2023 | ECAI | Reachability Poorman Discrete-Bidding Games. | Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic |
| 2023 | TACAS | A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. | Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic |
| 2022 | AAAI | Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. | Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger |
| 2022 | CAV | Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic |
| 2022 | PLDI | Differential cost analysis with simultaneous potentials and anti-potentials. | Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi |
| 2021 | AAAI | Scalable Verification of Quantized Neural Networks. | Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic |
| 2021 | FM | On Lexicographic Proof Rules for Probabilistic Termination. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Jiri Zrevcky, Dorde Zikelic |
| 2021 | PLDI | Proving non-termination by program reversal. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Dorde Zikelic |
| 2021 | SODA | Infinite-Duration All-Pay Bidding Games. | Guy Avni, Ismal Jecker, Dorde Zikelic |
| 2019 | MFCS | Bidding Mechanisms in Graph Games. | Guy Avni, Thomas A. Henzinger, Dorde Zikelic |
| 2017 | AAAI | Optimizing Expectation with Guarantees in POMDPs. | Krishnendu Chatterjee, Petr Novotn, Guillermo A. Prez, Jean-Franois Raskin, Dorde Zikelic |
| 2017 | POPL | Stochastic invariants for probabilistic termination. | Krishnendu Chatterjee, Petr Novotn, Dorde Zikelic |