17/11/2026 SQAURE talk – “Statistical Model Checking for Underwater Robotics Use-cases”
SPEAKER: Victor Voronin, PhD student. ABSTRACT: Formal verification of complex robotics behaviors suffers from scalability problems and limited acceptance throughout the industry. This talk presents the ongoing work to bridge this[…]