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

ToC

2024