Analysis of Timed Recursive State Machines. - Massimo Benerecetti; Stefano Minopoli; Adriano Peron (TIME, 2010)

Revisiting synthesis of switching controllers for Linear Hybrid systems. - Massimo Benerecetti; Marco Faella; Stefano Minopoli (CDC/ECC, 2011)

Automatic Synthesis of Switching Controllers for Linear Hybrid Automata - Massimo Benerecetti; Marco Faella; Stefano Minopoli (CoRR, 2011)

Towards Efficient Exact Synthesis for Linear Hybrid Systems - Massimo Benerecetti; Marco Faella; Stefano Minopoli (GandALF, 2011)

Synthesis of Switching Controllers for Linear Hybrid Systems. - Stefano Minopoli (2011)

Reachability games for linear hybrid systems. - Massimo Benerecetti; Marco Faella; Stefano Minopoli (HSCC, 2012)

Automatic synthesis of switching controllers for linear hybrid systems: Safety control. - Massimo Benerecetti; Marco Faella; Stefano Minopoli (Theor. Comput. Sci., 2013)

Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata. - Stefano Minopoli; Goran Frehse (FORMATS, 2014)

PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. - Sergiy Bogomolov; Daniele Magazzeni; Stefano Minopoli; Martin Wehrle (ICAPS, 2015)

Running SpaceEx on the ARCH14 Benchmarks. - Stefano Minopoli; Goran Frehse (ARCH@CPSWeek, 2015)

SL2SX Translator: From Simulink to SpaceEx Models. - Stefano Minopoli; Goran Frehse (HSCC, 2016)

From Simulation Models to Hybrid Automata Using Urgency and Relaxation. - Stefano Minopoli; Goran Frehse (HSCC, 2016)