A Formal Model of Train Control with AI-Based Obstacle Detection. - Jan Gruteser; David Geleßus; Michael Leuschel; Jan Roßbach; Fabian Vu (RSSRail, 2023)

Certified Control for Train Sign Classification. - Jan Roßbach; Michael Leuschel (FMAS@iFM, 2023)

Evaluating AI-Based Components in Autonomous Railway Systems - A Methodology. - Jan Roßbach; Oliver De Candido; Ahmed Hammam; Michael Leuschel (KI, 2024)

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems. - Jan Gruteser; Jan Roßbach; Fabian Vu; Michael Leuschel (FMAS@iFM, 2024)