Dorde Zikelic

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 48

Top Topics

Affine Invariant

Stochastic Systems

Technical Report

Top Venues

Proc. ACM Program. Lang.

Publications

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
Quantitative Bounds on Resource Usage of Probabilistic Programs. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs. CoRR (2024)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Equivalence and Similarity Refutation for Probabilistic Programs. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. PODC (2024)
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties. CoRR (2024)
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. CoRR (2024)
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. IACR Cryptol. ePrint Arch. 2024 (2024)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Equivalence and Similarity Refutation for Probabilistic Programs. CoRR (2024)
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. CAV (3) (2023)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. AAAI (2023)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic
Solving Long-run Average Reward Robust MDPs via Stochastic Games. CoRR (2023)
Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. AAAI (2023)
Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. ATVA (1) (2023)
Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. CoRR (2023)
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic
Reachability Poorman Discrete-Bidding Games. CoRR (2023)
Guy Avni, Ismaël Jecker, Dorde Zikelic
Bidding Graph Games with Partially-Observable Budgets. AAAI (2023)
Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. TACAS (1) (2023)
Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. NeurIPS (2023)
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. CoRR (2023)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. Formal Aspects Comput. 35 (2) (2023)
Dorde Zikelic, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger
Learning Stabilizing Policies in Stochastic Control Systems. CoRR (2022)
Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees. CoRR (2022)
Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
Differential cost analysis with simultaneous potentials and anti-potentials. PLDI (2022)
Matin Ansaripour, Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Learning Control Policies for Region Stabilization in Stochastic Systems. CoRR (2022)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. AAAI (2022)
Krishnendu Chatterjee, Jakub Svoboda, Dorde Zikelic, Andreas Pavlogiannis, Josef Tkadlec
Social Balance on Networks: Local Minima and Best Edge Dynamics. CoRR (2022)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. CAV (1) (2022)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. CoRR (2022)
Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials. CoRR (2022)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. CoRR (2021)
Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
Scalable Verification of Quantized Neural Networks. AAAI (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Proving non-termination by program reversal. PLDI (2021)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. CoRR (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Proving Non-termination by Program Reversal. CoRR (2021)
Guy Avni, Ismaël Jecker, Dorde Zikelic
Infinite-Duration All-Pay Bidding Games. SODA (2021)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Infinite Time Horizon Safety of Bayesian Neural Networks. CoRR (2021)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Infinite Time Horizon Safety of Bayesian Neural Networks. NeurIPS (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. FM (2021)
Guy Avni, Thomas A. Henzinger, Dorde Zikelic
Bidding mechanisms in graph games. J. Comput. Syst. Sci. 119 (2021)
Guy Avni, Ismaël Jecker, Dorde Zikelic
Infinite-Duration All-Pay Bidding Games. CoRR (2020)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
Proving Almost-Sure Termination of Probabilistic Programs via Incremental Pruning. CoRR (2020)
Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
Scalable Verification of Quantized Neural Networks (Technical Report). CoRR (2020)
Guy Avni, Thomas A. Henzinger, Dorde Zikelic
Bidding Mechanisms in Graph Games. MFCS (2019)
Guy Avni, Thomas A. Henzinger, Dorde Zikelic
Bidding Mechanisms in Graph Games. CoRR (2019)
Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic
Optimizing Expectation with Guarantees in POMDPs. AAAI (2017)
Krishnendu Chatterjee, Petr Novotný, Dorde Zikelic
Stochastic invariants for probabilistic termination. POPL (2017)
Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic
Optimizing Expectation with Guarantees in POMDPs (Technical Report). CoRR (2016)
Krishnendu Chatterjee, Petr Novotný, Dorde Zikelic
Stochastic Invariants for Probabilistic Termination. CoRR (2016)
Dorde Baralic, Branko Grbic, Dorde Zikelic
Theorems about quadrilaterals and conics. Int. J. Comput. Math. 91 (7) (2014)