Sounds Invariant Generation for Continuous and Hybrid Systems Download pdf Tags: Carnegie Mellon University 1739629 Foundations Validation and Verification CPS-PI Meeting 2017 Poster Posters (Sessions 8 & 13) License: CC-2.5 Submitted by Andre Platzer on Wed, 11/29/2017 - 15:20