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

ToC

2024