Safe intersections: At the crossing of hybrid systems and verification

@inproceedings{DBLP:conf/itsc/LoosP11,
	pdf = {pub/intersection.pdf},
	slides = {pub/intersection-slides.pdf},
	study = {pub/intersection-examples.zip},
	author = {['Sarah M. Loos', 'André Platzer']},
	title = {Safe Intersections: At the Crossing of
               Hybrid Systems and Verification},
	booktitle = {ITSC},
	longbooktitle = {Intelligent Transportation Systems
               (ITSC), 14th International IEEE Conference
               on, October 5-7, Washington, DC, USA,
               Proceedings},
	year = {2011},
	pages = {1181-1186},
	doi = {10.1109/ITSC.2011.6083138},
	keywords = {},
	editor = {['Kyongsu Yi']}
}