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

Namesort iconValue
MIME typeapplication/pdf
Size2.94 MB