Sound Invariant Generation for Continuous and Hybrid Systems

  • hybrid systems
  • formal verification
  • Theorem Proving
  • 1739629
  • 2018
  • CPS-PI Meeting 2018
  • Presentation
  • Session 5: LT
Submitted by Andre Platzer on Tue, 12/04/2018 - 15:49