Synthesis of Railway-Signaling Plans using Reachability Games - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Patrick Kasting' in GoogleThis author has not been identified. Look up 'Michael R. Hansen' in GoogleThis author has not been identified. Look up 'Steen Vester' in Google

runs on WebDSL