PPaperPicks

Rayna Dimitrova

4 papers at tracked venues · 3 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

POPL ×2AAAI ×1IJCAI ×1

Frequent coauthors

Philippe Heim
×2
Rafael Dewes
×1
Saleh Soudijani
×1

Papers

  1. Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
    AAAI 2025 ·
    Rafael Dewes
    , Rayna Dimitrova
  2. Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions
    IJCAI 2025 ·
    Saleh Soudijani
    , Rayna Dimitrova
  3. Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis
    POPL 2025 ·
    Philippe Heim
    , Rayna Dimitrova
  4. Solving Infinite-State Games via Acceleration
    POPL 2024 ·
    Philippe Heim
    , Rayna Dimitrova