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

Ali Asadi
DBLP profile ↗ORCID search ↗
×2
Krishnendu Chatterjee
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives
    AAAI 2026 ·
    Ali Asadi
    DBLP profile ↗ORCID search ↗
  2. Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete
    UAI 2025 ·
    Ali Asadi
    DBLP profile ↗ORCID search ↗
  3. Linear Equations with Min and Max Operators: Computational Complexity
    AAAI 2025 ·
    Krishnendu Chatterjee
    DBLP profile ↗ORCID search ↗