2025

Timo Strobel, Wolfgang-Reza Sharavi, Sadegh Sadeghipour, Nicolas Grube, Michael Leuschel, Jan Gruteser, Jan Roßbach, Oliver De Candido, Anja Philippsen, Dorian Knoblauch
KI-LOK – a joint project involving test procedures for AI-based components in railway operations.
In SIGNALLING & DATACOMMUNICATION, 29--37, 2025.
- LINK

2024

Jan Gruteser, Michael Leuschel
Validation of railML Using ProB.
In Proceedings ICECCS 2024, LNCS, 14784, Springer, 245--256, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-66456-4_13
Michael Leuschel, Jan Gruteser
Real Animation of TLA+ Models.
In TLA+ Community Event, 2024.
- PDF
Jan Gruteser, Jan Roßbach, Fabian Vu, Michael Leuschel
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems.
In Proceedings FMAS 2024, EPTCS, 411, 151--159, 2024.
- The final authenticated version is available online at https://doi.org/10.4204/EPTCS.411.10
Michael Leuschel, Jan Gruteser, Jan Roßbach
Prüfverfahren für KI-basierte Komponenten im Eisenbahnbetrieb (KI-LOK).
Technical Report, Heinrich-Heine-Universität Düsseldorf, HHU-STUPS 2024-12-1, 2024.
- PDF
- LINK

Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu
A Formal Model of Train Control with AI-Based Obstacle Detection.
In Proceedings RSSRail 2023, Birgit Milius and Simon Collart Dutilleul and Thierry Lecomte, LNCS, 14198, Springer, 128--145, 2023.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-43366-5_8
Jan Gruteser
Modeling and Verification of Railway Systems: Translation of RailML Into the B-Method.
Master Thesis, Heinrich-Heine-Universität, Düsseldorf, Germany, 2023.
- LINK