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 and
               Andr{\'e} 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},
}```