Zikelic, Dorde

11 publications

IJCAI 2025 LP-Based Weighted Model Integration over Non-Linear Real Arithmetic S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Dorde Zikelic

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

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

IJCAI 2024 Certified Policy Verification and Synthesis for MDPs Under Distributional Reach-Avoidance Properties S. Akshay, 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ý, Dorde Zikelic

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

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

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 2022 Stability Verification in Stochastic Control Systems via Neural Network Supermartingales Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger

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

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