Stefano Minopoli

12 papers A* 1C 1Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2016 — conf
From Simulation Models to Hybrid Automata Using Urgency and Relaxation.
HSCC
Stefano Minopoli, Goran Frehse
2016 — conf
SL2SX Translator: From Simulink to SpaceEx Models.
HSCC
Stefano Minopoli, Goran Frehse
2015 A* conf
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior.
ICAPS
Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle
2015 — conf
Running SpaceEx on the ARCH14 Benchmarks.
ARCH@CPSWeek
Stefano Minopoli, Goran Frehse
2014 — conf
Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata.
FORMATS
Stefano Minopoli, Goran Frehse
2013 J jnl
Automatic synthesis of switching controllers for linear hybrid systems: Safety control.
Theor. Comput. Sci.
Massimo Benerecetti, Marco Faella, Stefano Minopoli
2012 — conf
Reachability games for linear hybrid systems.
HSCC
Massimo Benerecetti, Marco Faella, Stefano Minopoli
2011 J jnl
Automatic Synthesis of Switching Controllers for Linear Hybrid Automata
CoRR
Massimo Benerecetti, Marco Faella, Stefano Minopoli
2011 — conf
Revisiting synthesis of switching controllers for Linear Hybrid systems.
CDC/ECC
Massimo Benerecetti, Marco Faella, Stefano Minopoli
2011 — —
Synthesis of Switching Controllers for Linear Hybrid Systems.
Stefano Minopoli
2011 — conf
Towards Efficient Exact Synthesis for Linear Hybrid Systems
GandALF
Massimo Benerecetti, Marco Faella, Stefano Minopoli
2010 C conf
Analysis of Timed Recursive State Machines.
TIME
Massimo Benerecetti, Stefano Minopoli, Adriano Peron