Sounds Invariant Generation for Continuous and Hybrid Systems

  • Carnegie Mellon University
  • 1739629
  • Foundations
  • Validation and Verification
  • CPS-PI Meeting 2017
  • Poster
  • Posters (Sessions 8 & 13)
Submitted by Andre Platzer on