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 from the College of Engineering, UW-Madison.