Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò. Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. In Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Volume 11495 of Lecture Notes in Computer Science, pages 41-58, Springer, 2019. [doi]
Abstract is missing.