Slides, source code and additional material are available at this git repo: https://gitlab.com/grisetti/robotprogramming_2024_25