PPaperPicks

Mateo Perez

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3ECAI ×1

Frequent coauthors

Ernst Moritz Hahn
DBLP profile ↗ORCID search ↗
×2
Milad Kazemi
DBLP profile ↗ORCID search ↗
×1

Papers

  1. A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs
    AAAI 2024 · Mateo Perez
  2. Assume-Guarantee Reinforcement Learning
    AAAI 2024 ·
    Milad Kazemi
    DBLP profile ↗ORCID search ↗
  3. Multi-Agent Reinforcement Learning for Alternating-Time Logic
    ECAI 2024 ·
    Ernst Moritz Hahn
    DBLP profile ↗ORCID search ↗
  4. Omega-Regular Decision Processes
    AAAI 2024 ·
    Ernst Moritz Hahn
    DBLP profile ↗ORCID search ↗