Massimo Benerecetti

Available identifiers

zbMath Open benerecetti.massimoMaRDI QIDQ264997

List of research outcomes

Publication	Date of Publication	Type
Solving mean-payoff games via quasi dominions	2024-03-27	Paper
Taming strategy logic: non-recurrent fragments	2023-09-27	Paper
Alternating (in)dependence-friendly logic	2023-09-21	Paper
Quantifying over Trees in Monadic Second-Order Logic	2023-04-23	Paper
Good-for-Game QPTL: An Alternating Hodges Semantics	2023-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q3384167	2021-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q5015267	2021-12-07	Paper
Solving Mean-Payoff Games via Quasi Dominions	2021-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4964733	2021-03-03	Paper
Robust worst cases for parity games algorithms	2020-05-26	Paper
Solving Parity Games via Priority Promotion	2019-05-03	Paper
A delayed promotion policy for parity games	2018-09-27	Paper
Solving parity games via priority promotion	2018-04-12	Paper
Tracking smooth trajectories in linear hybrid systems	2017-11-16	Paper
Substructure Temporal Logic	2017-07-03	Paper
Reachability games for linear hybrid systems	2017-05-16	Paper
Tracking differentiable trajectories across polyhedra boundaries	2017-05-16	Paper
Reasoning About Substructures and Games	2017-01-30	Paper
Timed recursive state machines: expressiveness and complexity	2016-04-01	Paper
Dynamic State Machines for Formalizing Railway Control System Specifications	2016-01-06	Paper
Automatic synthesis of switching controllers for linear hybrid systems: safety control	2014-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5324176	2009-08-03	Paper
Abstraction Refinement of Linear Programs with Arrays	2007-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q3367209	2006-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3045457	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4413373	2003-07-17	Paper
Contextual reasoning distilled	2003-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4536746	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4535644	2002-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4518909	2001-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4935597	2000-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4209291	1998-09-27	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: Massimo Benerecetti