PPaperPicks

Raimundo Saona

3 papers at tracked venues · 2 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2UAI ×1

Frequent coauthors

Krishnendu Chatterjee
×3
Ali Asadi
×2
David Lurie
×1
Ali Shafiee
×1
Ruichen Luo
×1
Jakub Svoboda
×1

Papers

  1. Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives
    AAAI 2026 ·
    Ali Asadi
    ,
    Krishnendu Chatterjee
    ,
    David Lurie
    , Raimundo Saona
  2. Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete
    UAI 2025 ·
    Ali Asadi
    ,
    Krishnendu Chatterjee
    , Raimundo Saona,
    Ali Shafiee
  3. Linear Equations with Min and Max Operators: Computational Complexity
    AAAI 2025 ·
    Krishnendu Chatterjee
    ,
    Ruichen Luo
    , Raimundo Saona,
    Jakub Svoboda