Submitted by Majid Zamani on Fri, 05/10/2024 - 14:17 CPS: Medium: Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning 2039062 Contributors: Majid Zamani Eric Frew Morteza Lahijanian Sponsors: National Science Foundation Core Areas: