{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:32Z","timestamp":1750306052196,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,8,31]],"date-time":"2016-08-31T00:00:00Z","timestamp":1472601600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,8,31]]},"DOI":"10.1145\/3064899.3064908","type":"proceedings-article","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T12:26:08Z","timestamp":1493036768000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Synthesis of Railway-Signaling Plans using Reachability Games"],"prefix":"10.1145","author":[{"given":"Patrick","family":"Kasting","sequence":"first","affiliation":[{"name":"DTU Compute, Technical University of Denmark, Lyngby, Denmark"}]},{"given":"Michael R.","family":"Hansen","sequence":"additional","affiliation":[{"name":"DTU Compute, Technical University of Denmark, Lyngby, Denmark"}]},{"given":"Steen","family":"Vester","sequence":"additional","affiliation":[{"name":"Flow Robotics, Copenhagen, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2016,8,31]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Banedanmark. 2009. The Signalling Programme A total renewal of the Danish signalling infrastructure. http:\/\/uk.bane.dk\/db\/filarkiv\/5636\/Updated%20UK%20Brochure%20090317_BDK_Signalprogrammet_UKbrochure_%20www.pdf ISBN: 978-87-90682-04-0.  Banedanmark. 2009. The Signalling Programme A total renewal of the Danish signalling infrastructure. http:\/\/uk.bane.dk\/db\/filarkiv\/5636\/Updated%20UK%20Brochure%20090317_BDK_Signalprogrammet_UKbrochure_%20www.pdf ISBN: 978-87-90682-04-0."},{"key":"e_1_3_2_1_2_1","unstructured":"Dietmar Berwanger. 2013. Graph Games with Perfect Information. (2013). Course notes Master Parisien de Recherche en Informatique.  Dietmar Berwanger. 2013. Graph Games with Perfect Information. (2013). Course notes Master Parisien de Recherche en Informatique."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-013-0191-5"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_9"},{"volume-title":"Retrieved","year":"2016","key":"e_1_3_2_1_6_1"},{"volume-title":"Retrieved","year":"2016","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","unstructured":"CList 2016. List(T) Class (System.Collections.Generic). (2016). Retrieved June 3 2016 from https:\/\/msdn.microsoft.com\/en-us\/library\/6sh2ey19(v=vs.110).aspx  CList 2016. List(T) Class (System.Collections.Generic). (2016). Retrieved June 3 2016 from https:\/\/msdn.microsoft.com\/en-us\/library\/6sh2ey19(v=vs.110).aspx"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Alexandre David Huixing Fang Kim Guldstrand Larsen and Zhengkui Zhang. 2014. Verification and performance evaluation of timed game strategies. Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8711 (2014) 100--114. DOI: https:\/\/doi.org\/10.1007\/978-3-319-10512-3_8  Alexandre David Huixing Fang Kim Guldstrand Larsen and Zhengkui Zhang. 2014. Verification and performance evaluation of timed game strategies. Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8711 (2014) 100--114. DOI: https:\/\/doi.org\/10.1007\/978-3-319-10512-3_8","DOI":"10.1007\/978-3-319-10512-3_8"},{"volume-title":"Retrieved","year":"2016","author":"ERTMS","key":"e_1_3_2_1_10_1"},{"volume-title":"Retrieved","year":"2016","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_15"},{"key":"e_1_3_2_1_13_1","unstructured":"FSet 2016. Collections. Set<'T> Class (F#). (2016). Retrieved June 4 2016 from https:\/\/msdn.microsoft.com\/visualfsharpdocs\/conceptual\/collections.set%5b%27t%5d-class-%5bfsharp%5d  FSet 2016. Collections. Set<'T> Class (F#). (2016). Retrieved June 4 2016 from https:\/\/msdn.microsoft.com\/visualfsharpdocs\/conceptual\/collections.set%5b%27t%5d-class-%5bfsharp%5d"},{"key":"e_1_3_2_1_14_1","volume-title":"Lecture Notes in Computer Science","volume":"2500","author":"Gr\u00e4del Erich","year":"2002"},{"key":"e_1_3_2_1_15_1","unstructured":"Michael R. Hansen and Hans Rischel. 2013. Functional Programming using F#. Cambridge University Press Shaftesbury Rd Cambridge CB2 8RU UK.  Michael R. Hansen and Hans Rischel. 2013. Functional Programming using F#. Cambridge University Press Shaftesbury Rd Cambridge CB2 8RU UK."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.159.2"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Patrick Kasting. 2016. Synthesis of Railway Signaling Plans using Reachability Games. BSc thesis. Technical University of Denmark.  Patrick Kasting. 2016. Synthesis of Railway Signaling Plans using Reachability Games. BSc thesis. Technical University of Denmark.","DOI":"10.1145\/3064899.3064908"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"volume-title":"Lectures in Game Theory for Computer Scientists","author":"L\u00f6ding Christof","key":"e_1_3_2_1_19_1"},{"volume-title":"Retrieved","year":"2016","author":"OFC","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0035790"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Don Syme Adam Granicz and Antonio Cisternino. 2015. Expert F# 4.0. Apress Media 233 Spring Street 6th Floor New York NY 1001 US.  Don Syme Adam Granicz and Antonio Cisternino. 2015. Expert F# 4.0. Apress Media 233 Spring Street 6th Floor New York NY 1001 US.","DOI":"10.1007\/978-1-4842-0740-6"},{"key":"e_1_3_2_1_24_1","unstructured":"Linh Hong Vu. 2015. Formal Development and Verification of Railway Control Systems - In the context of ERTMS\/ETCS Level 2. Ph.D. Dissertation. Technical University of Denmark.  Linh Hong Vu. 2015. Formal Development and Verification of Railway Control Systems - In the context of ERTMS\/ETCS Level 2. Ph.D. Dissertation. Technical University of Denmark."}],"event":{"name":"IFL 2016: Symposium on Implementation and Application of Functional Languages","sponsor":["K.U. Leuven K.U. Leuven"],"location":"Leuven Belgium","acronym":"IFL 2016"},"container-title":["Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064899.3064908","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3064899.3064908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:28Z","timestamp":1750215808000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064899.3064908"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,31]]},"references-count":24,"alternative-id":["10.1145\/3064899.3064908","10.1145\/3064899"],"URL":"https:\/\/doi.org\/10.1145\/3064899.3064908","relation":{},"subject":[],"published":{"date-parts":[[2016,8,31]]},"assertion":[{"value":"2016-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}