Dorde Zikelic

According to our database, Dorde Zikelic authored at least 37 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Equivalence and Similarity Refutation for Probabilistic Programs.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic

Proc. ACM Program. Lang., 2024

Quantitative Bounds on Resource Usage of Probabilistic Programs.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic

Proc. ACM Program. Lang., 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

Predictive Monitoring of Black-Box Dynamical Systems.

Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, Dorde Zikelic

CoRR, 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

CoRR, 2024

Neural Control and Certificate Repair via Runtime Monitoring.

Emily Yu, Dorde Zikelic, Thomas A. Henzinger

CoRR, 2024

Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies.

Jieke Shi, Junda He, Zhou Yang, Dorde Zikelic, David Lo

CoRR, 2024

PolyHorn: A Polynomial Horn Clause Solver.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Dorde Zikelic

CoRR, 2024

Solving Long-run Average Reward Robust MDPs via Stochastic Games.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties.

S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

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

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

On Lexicographic Proof Rules for Probabilistic Termination.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic

Formal Aspects Comput., June, 2023

A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.

Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.

Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Reachability Poorman Discrete-Bidding Games.

Guy Avni, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, Dorde Zikelic

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.

S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.

Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic

Proceedings of the Automated Technology for Verification and Analysis, 2023

Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.

Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.

Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Bidding Graph Games with Partially-Observable Budgets.

Guy Avni, Ismaël Jecker, Dorde Zikelic

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Learning Control Policies for Region Stabilization in Stochastic Systems.

Matin Ansaripour, Mathias Lechner, Dorde Zikelic, 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 Stabilizing Policies in Stochastic Control Systems.

Dorde Zikelic, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger

CoRR, 2022

Differential cost analysis with simultaneous potentials and anti-potentials.

Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Algorithms and Hardness Results for Computing Cores of Markov Chains.

Ali Ahmadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi, Dorde Zikelic

Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.

Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Bidding mechanisms in graph games.

Guy Avni, Thomas A. Henzinger, Dorde Zikelic

J. Comput. Syst. Sci., 2021

Infinite-Duration All-Pay Bidding Games.

Guy Avni, Ismaël Jecker, Dorde Zikelic

Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, 2021

Proving non-termination by program reversal.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Infinite Time Horizon Safety of Bayesian Neural Networks.

Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Scalable Verification of Quantized Neural Networks.

Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Scalable Verification of Quantized Neural Networks (Technical Report).

Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic

CoRR, 2020

2017

Stochastic invariants for probabilistic termination.

Krishnendu Chatterjee, Petr Novotný, Dorde Zikelic

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Optimizing Expectation with Guarantees in POMDPs.

Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Optimizing Expectation with Guarantees in POMDPs (Technical Report).

Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic

CoRR, 2016

2014

Theorems about quadrilaterals and conics.

Dorde Baralic, Branko Grbic, Dorde Zikelic

Int. J. Comput. Math., 2014