Poster Abstract: Getting Out of the Way - Safety Verification without Compromise. - Theodore P. Pavlic; Sai Prathyusha Peddi; Paolo A. G. Sivilotti; Bruce W. Weide (ICCPS, 2012)

Real-time adaptive signaling for isolated intersections. - Sai Prathyusha Peddi (ICCPS, 2013)