Symbolic and Numerical Techniques for Verification and Synthesis of CPS

  • formal methods
  • verification
  • synthesis
  • control systems
  • Safety
  • Symbolic Representation
  • Generalized Stars
  • 1739936
  • 2018
  • CPS-PI Meeting 2018
  • Presentation
  • Session 5: LT
Submitted by Parasara Sridh… on Tue, 12/04/2018 - 15:49