Fabio Somenzi

Identifiers

No identifiers captured yet.

Papers (4)

1. Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku cs.CL · 2025 · author #5
2. Omega-Regular Objectives in Model-Free Reinforcement Learning cs.LO · 2018 · author #4
3. The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems cs.LO · 2017 · author #3
4. Almost-Sure Reachability in Stochastic Multi-Mode System math.OC · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ashutosh Trivedi 4 shared papers
• Behrouz Touri 2 shared papers
• Anirudh Maiya 1 shared papers
• Aviral Kumar 1 shared papers
• Dominik Wojtczak 1 shared papers
• Ernst Moritz Hahn 1 shared papers
• Maria Leonor Pacheco 1 shared papers
• Mateo Perez 1 shared papers
• Razan Alghamdi 1 shared papers
• Shankara Narayanan Krishna 1 shared papers
• Sven Schewe 1 shared papers