The following pages link to Sergio Mover (Q479824):
Displaying 10 items.
- Quantifier-free encoding of invariants for hybrid systems (Q479826) (← links)
- Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202) (← links)
- From electrical switched networks to hybrid automata (Q2281635) (← links)
- Reaching out towards fully verified autonomous systems (Q2330586) (← links)
- Infinite-state invariant checking with IC3 and predicate abstraction (Q2363814) (← links)
- SMT-based scenario verification for hybrid systems (Q2441772) (← links)
- From Sequential Extended Regular Expressions to NFA with Symbolic Labels (Q3073625) (← links)
- Formal Verification of Infinite-State BIP Models (Q3460575) (← links)
- Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations (Q4633542) (← links)
- Verification Modulo theories (Q6056642) (← links)
