Dorde Zikelic

71 papers A* 18A 1B 3Journal 41Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
SuperDP: Differential Privacy Refutation via Supermartingales.
CoRR
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Dorde Zikelic
2025 J jnl
Automating the Refinement of Reinforcement Learning Specifications.
CoRR
Tanmay Ambadkar, Dorde Zikelic, Abhinav Verma
2025 J jnl
Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems.
CoRR
Zhipeng Cao, Peixin Wang, Luke Ong, Dorde Zikelic, Dominik Wagner, Bai Xue
2025 A* conf
LP-Based Weighted Model Integration over Non-Linear Real Arithmetic.
IJCAI
S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Dorde Zikelic
2025 A* conf
Neural Control and Certificate Repair via Runtime Monitoring.
AAAI
Emily Yu, Dorde Zikelic, Thomas A. Henzinger
2025 J jnl
Omega-regular Verification and Control for Distributional Specifications in MDPs.
CoRR
S. Akshay, Ouldouz Neysari, Dorde Zikelic
2025 B conf
PolyQEnt: A Polynomial Quantified Entailment Solver.
ATVA
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic
2025 A* conf
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization.
AAAI
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic
2025 — conf
Refuting Equivalence in Probabilistic Programs with Conditioning.
TACAS (2)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
2025 J jnl
Refuting Equivalence in Probabilistic Programs with Conditioning.
CoRR
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
2025 — conf
Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.
CAV (2)
Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi, Dorde Zikelic
2025 J jnl
Supermartingale Certificates for Quantitative Omega-regular Verification and Control.
CoRR
Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi, Dorde Zikelic
2024 A* conf
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties.
IJCAI
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2024 J jnl
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties.
CoRR
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2024 J jnl
Equivalence and Similarity Refutation for Probabilistic Programs.
CoRR
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
2024 J jnl
Equivalence and Similarity Refutation for Probabilistic Programs.
Proc. ACM Program. Lang.
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
2024 A* conf
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains.
PODC
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
2024 J jnl
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains.
CoRR
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
2024 J jnl
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains.
IACR Cryptol. ePrint Arch.
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
2024 J jnl
Neural Control and Certificate Repair via Runtime Monitoring.
CoRR
Emily Yu, Dorde Zikelic, Thomas A. Henzinger
2024 J jnl
PolyHorn: A Polynomial Horn Clause Solver.
CoRR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Dorde Zikelic
2024 J jnl
Predictive Monitoring of Black-Box Dynamical Systems.
CoRR
Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, Dorde Zikelic
2024 J jnl
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization.
CoRR
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic
2024 J jnl
Quantitative Bounds on Resource Usage of Probabilistic Programs.
Proc. ACM Program. Lang.
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
2024 A* conf
Solving Long-run Average Reward Robust MDPs via Stochastic Games.
IJCAI
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic
2024 — conf
Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs.
FM (1)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic
2024 J jnl
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs.
CoRR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic
2024 J jnl
Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies.
CoRR
Jieke Shi, Junda He, Zhou Yang, Dorde Zikelic, David Lo
2023 — conf
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.
TACAS (1)
Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
2023 A* conf
Bidding Graph Games with Partially-Observable Budgets.
AAAI
Guy Avni, Ismaël Jecker, Dorde Zikelic
2023 A* conf
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.
NeurIPS
Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
2023 J jnl
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.
CoRR
Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
2023 A* conf
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.
AAAI
Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
2023 — conf
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.
ATVA (1)
Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
2023 — conf
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.
CAV (3)
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2023 J jnl
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.
CoRR
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2023 J jnl
On Lexicographic Proof Rules for Probabilistic Termination.
Formal Aspects Comput.
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
2023 A* conf
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.
AAAI
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus
2023 A conf
Reachability Poorman Discrete-Bidding Games.
ECAI
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic
2023 J jnl
Reachability Poorman Discrete-Bidding Games.
CoRR
Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic
2023 J jnl
Solving Long-run Average Reward Robust MDPs via Stochastic Games.
CoRR
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic
2022 — conf
Algorithms and Hardness Results for Computing Cores of Markov Chains.
FSTTCS
Ali Ahmadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi, Dorde Zikelic
2022 J jnl
Bidding Graph Games with Partially-Observable Budgets.
CoRR
Guy Avni, Ismaël Jecker, Dorde Zikelic
2022 J jnl
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials.
CoRR
Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
2022 A* conf
Differential cost analysis with simultaneous potentials and anti-potentials.
PLDI
Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
2022 J jnl
Learning Control Policies for Region Stabilization in Stochastic Systems.
CoRR
Matin Ansaripour, Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2022 J jnl
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees.
CoRR
Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
2022 J jnl
Learning Stabilizing Policies in Stochastic Control Systems.
CoRR
Dorde Zikelic, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger
2022 J jnl
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.
CoRR
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus
2022 J jnl
Social Balance on Networks: Local Minima and Best Edge Dynamics.
CoRR
Krishnendu Chatterjee, Jakub Svoboda, Dorde Zikelic, Andreas Pavlogiannis, Josef Tkadlec
2022 — conf
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.
CAV (1)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic
2022 A* conf
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.
AAAI
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2021 J jnl
Bidding mechanisms in graph games.
J. Comput. Syst. Sci.
Guy Avni, Thomas A. Henzinger, Dorde Zikelic
2021 A* conf
Infinite Time Horizon Safety of Bayesian Neural Networks.
NeurIPS
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2021 J jnl
Infinite Time Horizon Safety of Bayesian Neural Networks.
CoRR
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2021 A* conf
Infinite-Duration All-Pay Bidding Games.
SODA
Guy Avni, Ismaël Jecker, Dorde Zikelic
2021 B conf
On Lexicographic Proof Rules for Probabilistic Termination.
FM
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
2021 J jnl
On Lexicographic Proof Rules for Probabilistic Termination.
CoRR
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
2021 J jnl
Proving Non-termination by Program Reversal.
CoRR
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
2021 A* conf
Proving non-termination by program reversal.
PLDI
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
2021 A* conf
Scalable Verification of Quantized Neural Networks.
AAAI
Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
2021 J jnl
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.
CoRR
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
2020 J jnl
Infinite-Duration All-Pay Bidding Games.
CoRR
Guy Avni, Ismaël Jecker, Dorde Zikelic
2020 J jnl
Scalable Verification of Quantized Neural Networks (Technical Report).
CoRR
Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
2019 B conf
Bidding Mechanisms in Graph Games.
MFCS
Guy Avni, Thomas A. Henzinger, Dorde Zikelic
2019 J jnl
Bidding Mechanisms in Graph Games.
CoRR
Guy Avni, Thomas A. Henzinger, Dorde Zikelic
2017 A* conf
Optimizing Expectation with Guarantees in POMDPs.
AAAI
Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic
2017 A* conf
Stochastic invariants for probabilistic termination.
POPL
Krishnendu Chatterjee, Petr Novotný, Dorde Zikelic
2016 J jnl
Optimizing Expectation with Guarantees in POMDPs (Technical Report).
CoRR
Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic
2016 J jnl
Stochastic Invariants for Probabilistic Termination.
CoRR
Krishnendu Chatterjee, Petr Novotný, Dorde Zikelic
2014 J jnl
Theorems about quadrilaterals and conics.
Int. J. Comput. Math.
Dorde Baralic, Branko Grbic, Dorde Zikelic