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]
@inproceedings{KastingHV16,
title = {Synthesis of Railway-Signaling Plans using Reachability Games},
author = {Patrick Kasting and Michael R. Hansen and Steen Vester},
year = {2016},
doi = {10.1145/3064899.3064908},
url = {http://doi.acm.org/10.1145/3064899.3064908},
researchr = {https://researchr.org/publication/KastingHV16},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016},
editor = {Tom Schrijvers},
publisher = {ACM},
isbn = {978-1-4503-4767-9},
}