Behcet Acikmese University of Washington Contact: behcet@uw.edu Projects Data-Informed Modeling and Correct-by-Design Control Protocols for Personal Mobility in Intelligent Urban Transportation Systems