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

FormatMIME typeSizeStatus
ZIP archiveapplication/zip2.92 MBOK