Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning

  • Short Talk
  • 2039062
  • Verification and IoT
  • CPS PI Meeting 2021
  • NSF
  • Presentation
Submitted by Anonymous on