Poster Abstract: Getting Out of the Way -- Safety Verification without Compromise

Theodore P. Pavlic,Sai Prathyusha Peddi,P. Sivilotti,B. Weide
DOI: https://doi.org/10.1109/ICCPS.2012.51
2012-04-17
Abstract:The intelligent transportation systems problems of adaptive cruise control and variable timing for traffic intersection signals are explored with emphasis on verification of safety properties.
What problem does this paper attempt to address?