P
PaperPicks
Conferences
Fabio Somenzi
5 papers at tracked venues · 4 at CORE A* · active 2024–2025
DBLP profile ↗
ORCID search ↗
Venues
AAAI
×3
ACL
×1
ECAI
×1
Frequent coauthors
Ernst Moritz Hahn
DBLP profile ↗
ORCID search ↗
×2
Anirudh Maiya
DBLP profile ↗
ORCID search ↗
×1
Mateo Perez
DBLP profile ↗
ORCID search ↗
×1
Milad Kazemi
DBLP profile ↗
ORCID search ↗
×1
Papers
Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku
ACL 2025
·
Anirudh Maiya
DBLP profile ↗
ORCID search ↗
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs
AAAI 2024
·
Mateo Perez
DBLP profile ↗
ORCID search ↗
Assume-Guarantee Reinforcement Learning
AAAI 2024
·
Milad Kazemi
DBLP profile ↗
ORCID search ↗
Multi-Agent Reinforcement Learning for Alternating-Time Logic
ECAI 2024
·
Ernst Moritz Hahn
DBLP profile ↗
ORCID search ↗
Omega-Regular Decision Processes
AAAI 2024
·
Ernst Moritz Hahn
DBLP profile ↗
ORCID search ↗