Davide Basile, Felicita Di Giandomenico, Stefania Gnesi. Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming. In Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. Volume 10598 of Lecture Notes in Computer Science, pages 221-237, Springer, 2017. [doi]
Abstract is missing.