Stefano Minopoli

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 2

Top Topics

Finite State Automata

Top Venues

Theor. Comput. Sci.

Publications

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