Fabio Somenzi

Available identifiers

zbMath Open somenzi.fabioMaRDI QIDQ832299

List of research outcomes

Publication	Date of Publication	Type
Omega-Regular Objectives in Model-Free Reinforcement Learning	2023-11-24	Paper
An impossibility result in automata-theoretic reinforcement learning	2023-06-02	Paper
Alternating good-for-MDPs automata	2023-06-02	Paper
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives	2022-12-22	Paper
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning	2022-10-13	Paper
The Reach-Avoid Problem for Constant-Rate Multi-mode Systems	2022-08-12	Paper
Model-Free Reinforcement Learning for Stochastic Parity Games	2022-07-18	Paper
Model-free reinforcement learning for branching Markov decision processes	2022-03-25	Paper
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems	2018-12-06	Paper
Statistically Sound Verification and Optimization for Complex Systems	2015-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q2848677	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2849595	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2845512	2013-08-30	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Efficient Term-ITE Conversion for Satisfiability Modulo Theories	2009-07-07	Paper
A Hybrid Algorithm for LTL Games	2008-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q5309033	2007-10-09	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps	2006-09-28	Paper
Compositional SCC analysis for language emptiness	2006-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q5472089	2006-06-15	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Computer Aided Verification	2005-08-25	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4817546	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4472250	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4472259	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4427897	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4804918	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4804928	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4791850	2003-02-03	Paper
Efficient manipulation of decision diagrams	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q2754087	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4934627	2000-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4888830	1996-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4037133	1993-05-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fabio Somenzi