UW selected to SAE AutoDrive Challenge II

UW was selected as one of the ten teams to participate in the SAE AutoDrive Challenge II. We are excited to design and integrate our own autonomous vehicle system, based on a Chevrolet Bolt EUV …

IEEE TASE best paper award

Our paper “Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control” won the IEEE Transactions on Automation Science and Engineering Best New Application Paper Award from IEEE Robotics & Automation Society! Report …