{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:52:06Z","timestamp":1730281926194,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,12,2]],"date-time":"2020-12-02T00:00:00Z","timestamp":1606867200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,2]],"date-time":"2020-12-02T00:00:00Z","timestamp":1606867200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,2]],"date-time":"2020-12-02T00:00:00Z","timestamp":1606867200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,2]]},"DOI":"10.1109\/memocode51338.2020.9315135","type":"proceedings-article","created":{"date-parts":[[2021,3,15]],"date-time":"2021-03-15T17:26:49Z","timestamp":1615829209000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems"],"prefix":"10.1109","author":[{"given":"Maryam","family":"Bagheri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eunsuk","family":"Kang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ehsan","family":"Khamespanah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Movaghar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1555815.1555782"},{"key":"ref11","first-page":"34","author":"bertsimas","year":"2008","journal-title":"The air traffic flow management problem an integer optimization approach"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963818"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2010.07.008"},{"key":"ref14","first-page":"153","author":"ord\u00f3\u00f1ez","year":"0","journal-title":"Robust Vehicle Routing"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2010.09.019"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2012.10.002"},{"journal-title":"System Design Modeling and Simulation Using Ptolemy II","year":"2014","author":"ptolemaeus","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.05.034"},{"key":"ref19","first-page":"3","article-title":"What good are models?","volume":"11222","author":"lee","year":"2018","journal-title":"Formal Aspects of Component Software - 15th International Conference FACS 2018"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.08.044"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1163","DOI":"10.1109\/TRO.2016.2593448","article-title":"Optimal multirobot path planning on graphs: Complete algorithms and effective heuristics","volume":"32","author":"yu","year":"2016","journal-title":"IEEE Transactions on Robotics"},{"journal-title":"Software Abstractions Logic Language and Analysis","year":"2006","author":"jackson","key":"ref5"},{"key":"ref8","first-page":"224","author":"dasler","year":"2015","journal-title":"On the Complexity of an Unregulated Traffic Crossing"},{"key":"ref7","article-title":"Priority-based coordination of mobile robots","author":"gregoire","year":"2014","journal-title":"CoRR"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57666-4_15"},{"journal-title":"International Civil Aviation Organization (ICAO)","year":"2016","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759737"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/502102.502106"}],"event":{"name":"2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2020,12,2]]},"location":"Jaipur, India","end":{"date-parts":[[2020,12,4]]}},"container-title":["2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9314950\/9314993\/09315135.pdf?arnumber=9315135","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T21:02:01Z","timestamp":1656622921000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9315135\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,2]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/memocode51338.2020.9315135","relation":{},"subject":[],"published":{"date-parts":[[2020,12,2]]}}}