@INPROCEEDINGS{DBLP:conf/fm/LoosPN11,
pdf = {pub/dccs.pdf},
slides = {pub/dccs-slides.pdf},
study = {https://www.ls.cs.cmu.edu/dccs/},
TR = {DBLP:conf/fm/LoosPN11:TR},
author = {Sarah M. Loos and
Andr{\'e} Platzer and
Ligia Nistor},
title = {Adaptive Cruise Control:
Hybrid, Distributed, and Now Formally
Verified},
booktitle = {FM},
year = {2011},
pages = {42-56},
doi = {10.1007/978-3-642-21437-0_6},
editor = {Michael Butler and
Wolfram Schulte},
longbooktitle = {FM 2011: Formal Methods, 17th
International Symposium on Formal Methods,
Limerick, Ireland, June 20-24, 2011,
Proceedings},
publisher = {Springer},
series = {LNCS},
volume = {6664},
isbn = {},
keywords = {distributed car control,
multi-agent systems, highway traffic safety,
formal verification, distributed hybrid
systems, adaptive cruise control},
}```