GEM sensor rosbags
- Rosbags (Credit to Kushal Goenka and Tanvi Shah, ECE498 SM Fall 2020)
GEM vehicle and testing facilities
- GEM Wiki (manuals, video tutorials, lab safety video, etc.)
- GEM Simulator
- Safety Driver Training Video
- Location of Highbay testing facility

Google Maps

Apple Maps
Other courses
Software
- FastX
Righthook simulator- ROS Basics
Right-Hook Manual- VM Installation
Assignments
Papers and Reference Books
- Probabilistic Robotics by Sebastian Thrun, MIT press, 2017. Links to slides, and many animations of algorithms we are discussing in this class.
- Principles of Cyber-Physical Systems by Rajeev Alur, MIT press, 2015. Great introduction to modeling and verification; topics we will get into in the latter half of this course.
- On a Formal Model of Safe and Scalable Self-driving Cars by Shai Shalev-Shwartz, Shaked Shammah, Amnon Shashua, 2017 (Responsibility Sensitive Safety)
- Verifying Cyberphysical Systems: A Path to Safe Autonomy by Sayan Mitra, to be published by MIT press, 2021 (Chapter on requirements)
Latex and other templates
- Template for notes
- Template for project reports
- Poster templates: 4’x3′ pptx, 2’x3′ pptx