**************************************************************************
Introduction to V&V and Formal Methods (Markov Processes, Temporal Logics)
**************************************************************************
   *10:00 - 10:30* -- Michaela Klauck

General, basic introduction to the concepts of formal methods.
Introduction to different types of Markov models and temporal logics and a motivation why formal verification is needed in industrial contexts.

Session materials:
 - :download:`Slides: Verification and Validation (V&V) of Autonomous Robots <slides/Verification_MKlauck.pdf>`