Sound Invariant Generation for Continuous and Hybrid Systems Submitted by Andre Platzer on Mon, 02/18/2019 - 15:41 1739629 2018 CPS-PI Meeting 2018