CPS: Medium: Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning

  • Poster
  • 2039062
  • Verification and IoT
  • CPS PI Meeting 2021
  • NSF
  • Poster
Submitted by Anonymous on