ToC

2024

2023

  • 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.