Federico Mari

From MaRDI portal
Person:1675915

Available identifiers

zbMath Open mari.federicoMaRDI QIDQ1675915

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50138802021-12-03Paper
On checking equivalence of simulation scripts2021-06-25Paper
Linearizing Discrete-Time Hybrid Systems2018-06-27Paper
SyLVaaS: System Level Formal Verification as a Service*2017-11-09Paper
On minimising the maximum expected verification time2017-11-03Paper
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems2012-09-21Paper
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems2009-03-11Paper

Research outcomes over time

This page was built for person: Federico Mari

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