Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning | IEEE Journals & Magazine | IEEE Xplore