Adaptive cruise control: Hybrid, distributed, and now formally verified

@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', 'André Platzer', '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', '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}
}