EasyChair Smart SlideDocs/Log in
Conference: NSV'18 (Numerical Software Verification 2018)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Towards Enumerative Invariant Synthesis in SMT Solvers

Towards Enumerative Invariant Synthesis in SMT Solvers

Andrew Reynolds

Parallel reachability analysis of hybrid systems in XSpeed

Parallel reachability analysis of hybrid systems in XSpeed

Rajarshi Ray

Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool Implementation

Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool Implementation

Fedor Shmarov and Paolo Zuliani

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair