Robotics Summer School 2026
Welcome to the the Robotics Summer School course on Safe (i.e. formally verifiable) AI for Robotics and Autinomous systems!
Installation Instructions (please follow these as soon as you can)
KatyaKom/RSS26
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|