GRAIC
GEM & F1-tenth
GEM vehicle and testing facilities
- GEM Simulator
- Safety Driver Training Video
- Location of Highbay testing facility
Other courses
Software
- ROS Basics
- Python code collection of robotics algorithms (e.g. localization, path planning, mapping, etc.)
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