PPaperPicks

Dorde Zikelic

9 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

IJCAI ×3AAAI ×2PLDI ×2FM ×1OOPSLA ×1

Frequent coauthors

Krishnendu Chatterjee
×7
Ehsan Kafshdar Goharshady
×5
Amir Kafshdar Goharshady
×3
Mehrdad Karrabi
×3
S. Akshay
×2
Harshit J. Motwani
×2
Tobias Meggendorfer
×2
Petr Novotný
×2
Supratik Chakraborty
×1
Soroush Farokhnia
×1
Emily Yu
×1
Thomas A. Henzinger
×1

Papers

  1. SuperDP: Differential Privacy Refutation via Supermartingales
    PLDI 2026 ·
    Krishnendu Chatterjee
    ,
    Ehsan Kafshdar Goharshady
    , Dorde Zikelic
  2. LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
    IJCAI 2025 ·
    S. Akshay
    ,
    Supratik Chakraborty
    ,
    Soroush Farokhnia
    ,
    Amir Kafshdar Goharshady
    ,
    Harshit Jitendra Motwani
    , Dorde Zikelic
  3. Neural Control and Certificate Repair via Runtime Monitoring
    AAAI 2025 ·
    Emily Yu
    , Dorde Zikelic,
    Thomas A. Henzinger
  4. Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
    AAAI 2025 ·
    Krishnendu Chatterjee
    ,
    Ehsan Kafshdar Goharshady
    ,
    Mehrdad Karrabi
    ,
    Harshit J. Motwani
    ,
    Maximilian Seeliger
    , Dorde Zikelic
  5. Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties
    IJCAI 2024 ·
    S. Akshay
    ,
    Krishnendu Chatterjee
    ,
    Tobias Meggendorfer
    , Dorde Zikelic
  6. Equivalence and Similarity Refutation for Probabilistic Programs
    PLDI 2024 ·
    Krishnendu Chatterjee
    ,
    Ehsan Kafshdar Goharshady
    ,
    Petr Novotný
    , Dorde Zikelic
  7. Quantitative Bounds on Resource Usage of Probabilistic Programs
    OOPSLA 2024 ·
    Krishnendu Chatterjee
    ,
    Amir Kafshdar Goharshady
    ,
    Tobias Meggendorfer
    , Dorde Zikelic
  8. Solving Long-run Average Reward Robust MDPs via Stochastic Games
    IJCAI 2024 ·
    Krishnendu Chatterjee
    ,
    Ehsan Kafshdar Goharshady
    ,
    Mehrdad Karrabi
    ,
    Petr Novotný
    , Dorde Zikelic
  9. Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs
    FM 2024 ·
    Krishnendu Chatterjee
    ,
    Amir Kafshdar Goharshady
    ,
    Ehsan Kafshdar Goharshady
    ,
    Mehrdad Karrabi
    , Dorde Zikelic