Sergio Mover

From MaRDI portal
Person:479824

Available identifiers

zbMath Open mover.sergioMaRDI QIDQ479824

List of research outcomes





PublicationDate of PublicationType
Verification Modulo theories2023-10-30Paper
Implicit semi-algebraic abstraction for polynomial dynamical systems2022-03-25Paper
From electrical switched networks to hybrid automata2020-01-03Paper
Reaching out towards fully verified autonomous systems2019-10-22Paper
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations2019-05-03Paper
Infinite-state invariant checking with IC3 and predicate abstraction2017-07-26Paper
Formal Verification of Infinite-State BIP Models2016-01-08Paper
Quantifier-free encoding of invariants for hybrid systems2014-12-05Paper
SMT-based scenario verification for hybrid systems2014-03-28Paper
From sequential extended regular expressions to NFA with symbolic labels2011-02-11Paper

Research outcomes over time

This page was built for person: Sergio Mover

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