Emilio Frazzoli - Generating and Verifying Driving Trajectories (via searchlore.ai)