- Introduction to safety of robotic systems, techniques and approaches.
- Safety/reachability analysis, safe set representation and reachability analysis for dynamical systems.
- Safe robot control, invariant sets, potential fields and control barrier functions.
- Fail-safe and risk-aware planning.
- Advanced motion planning algorithms, feedback motion planning, sampling-based motion planning under differential constraints, trajectory optimization.
- Task planning and integrated task and motion planning.
- Formal methods for robot planning and control. Discrete- and continuous-time temporal logics for goal and constraint specification. Correct-by-design planning and control.
- Reinforcement learning for robot control, reinforcement learning for planning under uncertainty, safe reinforcement learning.