Synthesis of Railway-Signaling Plans using Reachability Games
Patrick Kasting, Michael R. Hansen, Steen Vester · 2016
In this work, we show the feasibility of using functional programming (more specifically F#) in connection with game-based methods for synthesis of correct-by-construction controllers (also called signaling plans) for railway networks. This is a massively resource-demanding application.