Skip to Content
Paul Sivilotti

Paul Sivilotti



Pavlic, T. P., S. P. Peddi, P. A. Sivilotti and B. W. Weide. 2012. Getting out of the way — safety verification without compromise. Poster presented at the 2012 IEEE/ACM Third International Conference on Cyber-physical Systems, 17-19 April 2012, Beijing, China. (link )


Ozguner, U., A. Krishnamurthy, F. Ozguner, K. Redmill, P. A. Sivilotti, B. W. Weide and T. P. Pavlic. 2011. CPS: Autonomous driving in urban environments. Poster presented at the 2011 CPS PI Meeting, 1-2 August 2011, National Harbor, MD. (link )

Pavlic, T. P., P. A. Sivilotti, A. D. Weide and B. W. Weide. 2011. Verification of smooth and close collision-free cruise control. Poster presented at the 2011 Symposium on Control and Modeling Cyber-Physical Systems, 20-21 October 2011, Urbana-Champaign, IL. (link )