=========================================================================
Day 4 -- July 3rd: Verification and Validation (V&V) of Autonomous Robots
=========================================================================

Lectures
--------

.. toctree::
   :maxdepth: 2

   software-engineering-for-reliable-robots
   introduction-to-v-v-and-formal-methods
   introduction-to-model-checking-methods
   model-checking-in-industry-and-the-convince-project

Practical Sessions
------------------

.. toctree::
   :maxdepth: 2

   hands-on