PPaperPicks

Dorde Zikelic

5 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

IJCAI ×3AAAI ×2

Frequent coauthors

S. Akshay
DBLP profile ↗ORCID search ↗
×2
Krishnendu Chatterjee
DBLP profile ↗ORCID search ↗
×2
Emily Yu
DBLP profile ↗ORCID search ↗
×1

Papers

  1. LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
    IJCAI 2025 ·
    S. Akshay
    DBLP profile ↗ORCID search ↗
  2. Neural Control and Certificate Repair via Runtime Monitoring
    AAAI 2025 ·
    Emily Yu
    DBLP profile ↗ORCID search ↗
  3. Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
    AAAI 2025 ·
    Krishnendu Chatterjee
    DBLP profile ↗ORCID search ↗
  4. Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties
    IJCAI 2024 ·
    S. Akshay
    DBLP profile ↗ORCID search ↗
  5. Solving Long-run Average Reward Robust MDPs via Stochastic Games
    IJCAI 2024 ·
    Krishnendu Chatterjee
    DBLP profile ↗ORCID search ↗