Sergio Mover

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verification Modulo theories Formal Methods in System Design	2023-10-30	Paper
Implicit semi-algebraic abstraction for polynomial dynamical systems	2022-03-25	Paper
From electrical switched networks to hybrid automata	2020-01-03	Paper
Reaching out towards fully verified autonomous systems	2019-10-22	Paper
Infinite-state liveness-to-safety via implicit abstraction and well-founded relations Computer Aided Verification	2019-05-03	Paper
Infinite-state invariant checking with IC3 and predicate abstraction Formal Methods in System Design	2017-07-26	Paper
Formal Verification of Infinite-State BIP Models Automated Technology for Verification and Analysis	2016-01-08	Paper
Quantifier-free encoding of invariants for hybrid systems Formal Methods in System Design	2014-12-05	Paper
SMT-based scenario verification for hybrid systems Formal Methods in System Design	2014-03-28	Paper
From sequential extended regular expressions to NFA with symbolic labels Implementation and Application of Automata	2011-02-11	Paper

Research outcomes over time

This page was built for person: Sergio Mover