Stefano Minopoli

From MaRDI portal
Person:391116

Available identifiers

zbMath Open minopoli.stefanoMaRDI QIDQ391116

List of research outcomes





PublicationDate of PublicationType
Towards efficient exact synthesis for linear hybrid systems2021-03-03Paper
From simulation models to hybrid automata using urgency and relaxation2017-05-19Paper
Reachability games for linear hybrid systems2017-05-16Paper
Non-convex invariants and urgency conditions on linear hybrid automata2015-08-06Paper
Automatic synthesis of switching controllers for linear hybrid systems: safety control2014-01-10Paper

Research outcomes over time

This page was built for person: Stefano Minopoli

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