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 …
Month: August 2019
Xiangru started AP position
Focus on new faculty: Xiangru Xu, bringing autonomous systems under control