Formal Modelling and Optimal Traffic Management for Future Railways

Francesco Flammini, Stefano Marrone 0001, Lei Chen. Formal Modelling and Optimal Traffic Management for Future Railways. ERCIM News, 2022(128), 2022. [doi]

Abstract

Abstract is missing.