{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T18:43:29Z","timestamp":1771958609381,"version":"3.50.1"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,13]],"date-time":"2023-06-13T00:00:00Z","timestamp":1686614400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,13]],"date-time":"2023-06-13T00:00:00Z","timestamp":1686614400000},"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":[[2023,6,13]]},"DOI":"10.23919\/ecc57647.2023.10178139","type":"proceedings-article","created":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T18:00:50Z","timestamp":1690912850000},"page":"1-8","source":"Crossref","is-referenced-by-count":4,"title":["Hierarchical Finite State Machines for Efficient Optimal Planning in Large-scale Systems"],"prefix":"10.23919","author":[{"given":"Elis","family":"Stefansson","sequence":"first","affiliation":[{"name":"KTH Royal Institute of Technology,School of Electrical Engineering and Computer Science,Sweden"}]},{"given":"Karl H.","family":"Johansson","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology,School of Electrical Engineering and Computer Science,Sweden"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1201\/9781315375229"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1955.tb03788.x"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487442"},{"key":"ref14","first-page":"2","article-title":"Partitioning graphs to speedup dijkstra&#x2019;s algorithm","volume":"11","author":"m\u00f6hring","year":"2007","journal-title":"Journal of Experimental Algorithmics (JEA)"},{"key":"ref11","article-title":"Goal-directed shortest-path queries using precomputed cluster distances","volume":"14","author":"maue","year":"2010","journal-title":"Journal of Experimental Algorithmics"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875030"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49487-6_2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/291252.288305"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IRI.2014.7051927"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.23919\/ECC57647.2023.10178139"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44929-9_24"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3031023"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1984.715934"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref3","article-title":"Modular decomposition of hierarchical finite state machines","author":"biggar","year":"2021","journal-title":"arXiv preprint arXiv 2111 02269"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01386390"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2886843"}],"event":{"name":"2023 European Control Conference (ECC)","location":"Bucharest, Romania","start":{"date-parts":[[2023,6,13]]},"end":{"date-parts":[[2023,6,16]]}},"container-title":["2023 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10178092\/10178115\/10178139.pdf?arnumber=10178139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,2]],"date-time":"2023-08-02T16:18:42Z","timestamp":1690993122000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10178139\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,13]]},"references-count":19,"URL":"https:\/\/doi.org\/10.23919\/ecc57647.2023.10178139","relation":{},"subject":[],"published":{"date-parts":[[2023,6,13]]}}}