Massimo Benerecetti

From MaRDI portal
Person:264997

Available identifiers

zbMath Open benerecetti.massimoMaRDI QIDQ264997

List of research outcomes





PublicationDate of PublicationType
Priority promotion with Parysian flair2024-10-29Paper
Solving mean-payoff games via quasi dominions2024-03-27Paper
Taming strategy logic: non-recurrent fragments2023-09-27Paper
Alternating (in)dependence-friendly logic2023-09-21Paper
Quantifying over Trees in Monadic Second-Order Logic2023-04-23Paper
Good-for-Game QPTL: An Alternating Hodges Semantics2023-02-07Paper
https://portal.mardi4nfdi.de/entity/Q33841672021-12-14Paper
https://portal.mardi4nfdi.de/entity/Q50152672021-12-07Paper
Solving Mean-Payoff Games via Quasi Dominions2021-11-10Paper
https://portal.mardi4nfdi.de/entity/Q49647332021-03-03Paper
Robust worst cases for parity games algorithms2020-05-26Paper
Solving Parity Games via Priority Promotion2019-05-03Paper
A delayed promotion policy for parity games2018-09-27Paper
Solving parity games via priority promotion2018-04-12Paper
Tracking smooth trajectories in linear hybrid systems2017-11-16Paper
Substructure Temporal Logic2017-07-03Paper
Reachability games for linear hybrid systems2017-05-16Paper
Tracking differentiable trajectories across polyhedra boundaries2017-05-16Paper
Reasoning About Substructures and Games2017-01-30Paper
Timed recursive state machines: expressiveness and complexity2016-04-01Paper
Dynamic State Machines for Formalizing Railway Control System Specifications2016-01-06Paper
Automatic synthesis of switching controllers for linear hybrid systems: safety control2014-01-10Paper
https://portal.mardi4nfdi.de/entity/Q53241762009-08-03Paper
Abstraction Refinement of Linear Programs with Arrays2007-09-03Paper
https://portal.mardi4nfdi.de/entity/Q33672092006-01-23Paper
https://portal.mardi4nfdi.de/entity/Q30454572004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44133732003-07-17Paper
Contextual reasoning distilled2003-05-12Paper
https://portal.mardi4nfdi.de/entity/Q45367462002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q45356442002-06-16Paper
https://portal.mardi4nfdi.de/entity/Q45189092001-08-05Paper
https://portal.mardi4nfdi.de/entity/Q49355972000-06-13Paper
https://portal.mardi4nfdi.de/entity/Q42092911998-09-27Paper

Research outcomes over time

This page was built for person: Massimo Benerecetti

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:264997&oldid=7161668"
Powered by MediaWiki