A Mobile Interface designed for the Safety Verification of Autonomous Vehicle TrajectoriesTarif Haque, Joanna Santos, Duc LamACM Mid-Southeast ConferenceJan 2014