Enrico Magnago

From MaRDI portal
Person:2105459

Available identifiers

zbMath Open magnago.enricoMaRDI QIDQ2105459

List of research outcomes





PublicationDate of PublicationType
\textsc{LTL} falsification in infinite-state systems2022-12-08Paper
Automatic discovery of fair paths in infinite-state transition systems2022-06-22Paper
Proving the existence of fair paths in infinite-state systems2021-10-18Paper
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators2020-05-26Paper

Research outcomes over time

This page was built for person: Enrico Magnago

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