Roozbeh Kianfar, Paolo Falcone, Jonas Fredriksson. Reachability analysis of cooperative adaptive cruise controller. In 15th International IEEE Conference on Intelligent Transportation Systems, ITSC 2012, Anchorage, AK, USA, September 16-19, 2012. pages 1537-1542, IEEE, 2012. [doi]
Abstract is missing.