- Introduktion till säkerhet; tillvägagångssätt och tekniker.
- Säkerhets- och kontrollerbarhetsanalys, säkerhetsmängdsrepresentation och kontrollerbarhetsanalys av dynamiska system.
- Säker robotstyrning, invarianta mängder, potentialfält och reglerbarriärsfunktioner.
- Felsäker och riskmedveten planering.
- Avancerade rörelseplaneringsalgoritmer, återkopplad rörelseplanering, Samplingbaserad rörelseplanering under differentialvillkor, trajektorieoptimering.
- Uppdragsplanering och integrerad uppdrags- och rörelseplanering.
- Formella metoder för robotplanering och styrning. Diskret och kontinuerlig tidslogik för mål och bivillkorsspecifikation. Korrekthet-genom-design-planering och styrning.
- Förstärkningsinlärning för robotstyrning, förstärkningsinlärning under osäkerhet, säker förstärkningsinlärning.