On 28th June 2023, I gave a talk on our work on verified train protection systems and control envelop synthesis at Karlsruhe Institute of Technology. Here are the slides.

In this talk from fall 2022, I provide an overview of our paper “Verified Train Controllers for the Federal Railroad Administration Model: Balancing Competing Brake and Track Forces”.