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

Fabio Somenzi
×4
Ashutosh Trivedi
×4
Ernst Moritz Hahn
×2
Sven Schewe
×2
Dominik Wojtczak
×2
Milad Kazemi
×1
Sadegh Soudjani
×1
Alvaro Velasquez
×1

Papers

  1. A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs
    AAAI 2024 · Mateo Perez,
    Fabio Somenzi
    ,
    Ashutosh Trivedi
  2. Assume-Guarantee Reinforcement Learning
    AAAI 2024 ·
    Milad Kazemi
    , Mateo Perez,
    Fabio Somenzi
    ,
    Sadegh Soudjani
    ,
    Ashutosh Trivedi
    ,
    Alvaro Velasquez
  3. Multi-Agent Reinforcement Learning for Alternating-Time Logic
    ECAI 2024 ·
    Ernst Moritz Hahn
    , Mateo Perez,
    Sven Schewe
    ,
    Fabio Somenzi
    ,
    Ashutosh Trivedi
    ,
    Dominik Wojtczak
  4. Omega-Regular Decision Processes
    AAAI 2024 ·
    Ernst Moritz Hahn
    , Mateo Perez,
    Sven Schewe
    ,
    Fabio Somenzi
    ,
    Ashutosh Trivedi
    ,
    Dominik Wojtczak