Algorithms for Validation of Dynamical Systems
Romeo Valentin
This talk demonstrates practical safety validation techniques from the new book "Algorithms for Validation" using Julia's ecosystem. Through interactive Pluto.jl notebooks and a case study of aircraft collision avoidance, we showcase Julia's capabilities in safety validation, including seamless integration with Python-based controllers and black-box simulation environments. No prior verification experience required!
Engineering with Julia
David Lawrence Hall Room 120 (Main stage)
