Safety Controller Synthesis Using Human Generated Trajectories
Designing games with a purpose