TY - RPRT TI - Provably Safe Cruise Control of Vehicular Platoons AU - Sadra Sadraddini AU - Sivaranjani S AU - Vijay Gupta AU - Calin Belta PY - 2017 DO - 10.1109/lcsys.2017.2713772 UR - https://arxiv.org/abs/1706.01195 ID - 1706.01195 ER -