Patrick Kasting, Michael R. Hansen, Steen Vester. Synthesis of Railway-Signaling Plans using Reachability Games. In Tom Schrijvers, editor, Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016. ACM, 2016. [doi]
Abstract is missing.