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)

Validation of RailML Using ProB. - Jan Gruteser; Michael Leuschel (ICECCS, 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)