A Mobile Interface designed for the Safety Verification of Autonomous Vehicle TrajectoriesJan 1, 2014·Tarif Haque,Joanna Santos,Duc Lam· 0 min read CiteTypeConference paperPublicationACM Mid-Southeast ConferencepublicationsLast updated on Jan 1, 2014 AuthorsTarif HaqueAuthorsJoanna SantosAuthorsDuc Lam← A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations Jan 1, 2014A Modular Framework to Enable Rapid Evaluation and Exploration of Energy Management Methods in Smart Home Platforms Jan 1, 2014 →