Day 4 – July 3rd: Verification and Validation (V&V) of Autonomous Robots
Lectures
- Keynote: Software Engineering for Reliable Autonomous Robots - Approaches and Challenges from an Industrial Perspective
- Introduction to V&V and Formal Methods (Markov Processes, Temporal Logics)
- Introduction to Model Checking Methods (Probabilistic Model Checking, Statistical Model Checking) & Formal Modeling Languages (JANI)
- Model Checking in Industry & the CONVINCE Project: Toolchain for Verification of Robotic Deliberation (AS2FM and SMC Storm) – Model Checking Tool Demo (SMC Storm, AS2FM, The Modest Toolset)