PPaperPicks

Fabio Somenzi

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3ACL ×1ECAI ×1

Frequent coauthors

Ashutosh Trivedi
×5
Mateo Perez
×4
Ernst Moritz Hahn
×2
Sven Schewe
×2
Dominik Wojtczak
×2
Anirudh Maiya
×1
Razan Alghamdi
×1
Maria Leonor Pacheco
×1
Milad Kazemi
×1
Sadegh Soudjani
×1
Alvaro Velasquez
×1

Papers

  1. Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku
    ACL 2025 ·
    Anirudh Maiya
    ,
    Razan Alghamdi
    ,
    Maria Leonor Pacheco
    ,
    Ashutosh Trivedi
    , Fabio Somenzi
  2. A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs
    AAAI 2024 ·
    Mateo Perez
    , Fabio Somenzi,
    Ashutosh Trivedi
  3. Assume-Guarantee Reinforcement Learning
    AAAI 2024 ·
    Milad Kazemi
    ,
    Mateo Perez
    , Fabio Somenzi,
    Sadegh Soudjani
    ,
    Ashutosh Trivedi
    ,
    Alvaro Velasquez
  4. Multi-Agent Reinforcement Learning for Alternating-Time Logic
    ECAI 2024 ·
    Ernst Moritz Hahn
    ,
    Mateo Perez
    ,
    Sven Schewe
    , Fabio Somenzi,
    Ashutosh Trivedi
    ,
    Dominik Wojtczak
  5. Omega-Regular Decision Processes
    AAAI 2024 ·
    Ernst Moritz Hahn
    ,
    Mateo Perez
    ,
    Sven Schewe
    , Fabio Somenzi,
    Ashutosh Trivedi
    ,
    Dominik Wojtczak