@inproceedings{PSWW11_CSLETCM2011_VACC_poster,
  author = {Theodore P.~Pavlic and Paolo A.~G.~Sivilotti and Alan D.~Weide and Bruce W.~Weide},
  title = {Verification of Smooth and Close Collision-Free Cruise Control},
  year = {2011},
  note = {Poster abstract},
  year = {2011},
  address = {Urbana, Illinois},
  month = {October 20--21,},
  booktitle = {Proceedings of the 2011 Symposium on Control and Modeling: Cyber-Physical Systems}
}