Sound Invariant Generation for Continuous and Hybrid Systems Submitted by Andre Platzer on Tue, 01/09/2018 - 15:04 Carnegie Mellon University 1739629 CPS-PI Meeting 2017