Sound Invariant Generation for Continuous and Hybrid Systems Download pdf Tags: hybrid systems formal verification Theorem Proving 1739629 2018 CPS-PI Meeting 2018 Presentation Session 5: LT License: CC-2.5 Submitted by Andre Platzer on Tue, 12/04/2018 - 15:49