Optimization in Robotics presents a number of optimization problems arising in robotics and demonstrates how the optimization techniques learnt throughout the Master allow solving them.
Formal Software Engineering: Formal modeling; Correct-by-construction Software, refinement; Property verification; Model-checking & Theorem-proving.