PPaperPicks

Jakub Svoboda

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ICML ×1

Frequent coauthors

Krishnendu Chatterjee
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Linear Equations with Min and Max Operators: Computational Complexity
    AAAI 2025 ·
    Krishnendu Chatterjee
    DBLP profile ↗ORCID search ↗
  2. Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance
    ICML 2024 · Jakub Svoboda