Gianluca Mandò, Luigi Rucher, Alessandro Fantechi, Gloria Gori. 2: Achieving SIL4 Onboard Positioning for Autonomous Trams. In Maurice H. ter Beek, Simon Collart Dutilleul, Thierry Lecomte, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings. Volume 16236 of Lecture Notes in Computer Science, pages 255-264, Springer, 2025. [doi]
Abstract is missing.