Abstract is missing.
- Challenges in Autonomous Vehicle Validation: Keynote Presentation AbstractPhilip Koopman. 3 [doi]
- Controlling for Unsafe Events in Dense Traffic through Autonomous Vehicles: Invited Talk AbstractDaniel B. Work, Raphael Stern, F. Wu, M. Churchill, S. Cui, H. Pohlmann, B. Seibold, Benedetto Piccoli, R. Bhadani, Matt Bunting, Jonathan Sprinkle, Maria Laura Delle Monache, N. Hamilton, R. Haulcy. 7 [doi]
- Osiris: A Tool for Abstraction and Verification of Control Software with Lookup TablesNikos Arechiga, Sumanth Dathathri, Shashank Vernekar, Nagesh Kathare, Sicun Gao, Shinichi Shiraishi. 11-18 [doi]
- Using ID-Hopping to Defend Against Targeted DoS on CANAbdulmalik Humayed, Bo Luo. 19-26 [doi]
- A Game-Theoretic Approach to Secure Control of Communication-Based Train Control Systems Under Jamming AttacksZhiheng Xu, Quanyan Zhu. 27-34 [doi]
- A Game-Theoretic Approach and Evaluation of Adversarial Vehicular PlatooningImran Sajjad, Rajnikant Sharma, Ryan M. Gerdes. 35-41 [doi]
- Vehicle Platooning Simulations with Functional Reactive ProgrammingBernd Finkbeiner, Felix Klein 0001, Ruzica Piskac, Mark Santolucito. 43-47 [doi]