Program

Time Authors Title
9:00 – 9:15 Organizers Welcome
9:15 – 10:00 Philip Koopman Keynote: Challenges in Autonomous Vehicle Validation
10:00 – 10:30 Coffee Break
10:30 – 12:00 Session 1
Nikos Arechiga, Sumanth Dathathri, Shashank Vernekar, Nagesh Kathare, Sicun Gao, and Shinichi Shiraishi Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables
(Discussant: Abdulmalik Humayed)
Abdulmalik Humayed and Bo Luo Using ID-Hopping to Defend Against Targeted DoS on CAN
(Discussant: Sumanth Dathathri)
Zhiheng Xu and Quanyan Zhu A Game-Theoretic Approach to Secure Control of Communication-Based Train Control Systems Under Jamming Attacks
(Discussant: Ryan Gerdes)
Imran Sajjad, Rajnikant Sharma, and Ryan Gerdes A Game-Theoretic Approach and Evaluation of Adversarial Vehicular Platooning
(Discussant: Mark Santolucito)
12:10 – 13:10 Lunch Break
13:10 – 14:00 Session 2
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, and Mark Santolucito Vehicle Platooning Simulations with Functional Reactive Programming
(Discussant: Zhiheng Xu)
Daniel B. Work, Raphael Stern, Fangyu Wu, Miles Churchill, Shumo Cui, Hannah Pohlmann, Benjamin Seibold, Benedetto Piccoli, R’mani Bhadani, Matt Bunting, Jonathan Sprinkle, Maria Laura Delle Monache, Nathaniel Hamilton, and R’mani Haulcy. Invited Talk:
Controlling for Unsafe Events in Dense Traffic through Autonomous Vehicles
14:00 – 15:10 Break-out Groups (discussion and pitch preparation)
15:10 – 15:40 Coffee Break
16:00 – 16:30 Pitch Presentations
16:30 – 17:30 Wrap-up Panel
(Panelists: Philip Koopman, Raj Rajkumar,  Daniel B. Work)
17:30 – 17:40 Closing

We also want to promote interactivity among researchers and practitioners. Therefore, we plan the second half of the workshop to be as interactive as possible by arranging break-out groups and pitch presentations.