Rebecca Haehn, Erika Ábrahám, Niklas Kotowski. Acceleration Techniques for Symbolic Simulation of Railway Timetables. In Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings. Volume 13294 of Lecture Notes in Computer Science, pages 46-62, Springer, 2022. [doi]
Abstract is missing.