Behavior Specifications of Autonomous Vehicles
Date
Apr 28, 2019 2:35 PM — 3:10 PM
Location
University of Michigan
Ann Arbor, MI
Tichakorn (Nok) Wongpiromsarn
Assistant Professor
My research focuses on formal methods, motion planning, situational reasoning, hybrid systems, and distributed control systems.