TY  - RPRT
TI  - Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
AU  - Jan Gruteser
AU  - Jan Roßbach
AU  - Fabian Vu
AU  - Michael Leuschel
PY  - 2024
DO  - 10.4204/eptcs.411.10
UR  - https://arxiv.org/abs/2411.14374
ID  - 2411.14374
ER  -