Safety Controller Synthesis Using Human Generated Trajectories | IEEE Journals & Magazine | IEEE Xplore