{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:18Z","timestamp":1725664158536},"reference-count":12,"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.10178169","type":"proceedings-article","created":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T18:00:50Z","timestamp":1690912850000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["From MDP to POMDP and Back: Safety and Compositionality"],"prefix":"10.23919","author":[{"given":"Manuela L.","family":"Bujorianu","sequence":"first","affiliation":[{"name":"University College London,Department of Computer Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tristan","family":"Caulfield","sequence":"additional","affiliation":[{"name":"University College London,Department of Computer Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pym","sequence":"additional","affiliation":[{"name":"University College London,Department of Computer Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Wisniewski","sequence":"additional","affiliation":[{"name":"Aalborg University,Section of Automation & Control,Aalborg East,Denmark,9220"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref8","first-page":"427","article-title":"Learning finite-state controllers for partially observable environments","author":"meuleau","year":"1999","journal-title":"Proc of the 15th Conference on Uncertainty in AI (UAI-99)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403399"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-095703-3.50010-5"},{"journal-title":"A Discipline of Mathematical Systems Modelling","year":"2012","author":"collinson","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-97124-3_21"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1287\/opre.49.4.516.11221"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883836"},{"year":"1998","author":"hansen","key":"ref5"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3291952"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029377"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3002475"}],"event":{"name":"2023 European Control Conference (ECC)","start":{"date-parts":[[2023,6,13]]},"location":"Bucharest, Romania","end":{"date-parts":[[2023,6,16]]}},"container-title":["2023 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10178092\/10178115\/10178169.pdf?arnumber=10178169","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,2]],"date-time":"2023-08-02T15:34:57Z","timestamp":1690990497000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10178169\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,13]]},"references-count":12,"URL":"https:\/\/doi.org\/10.23919\/ecc57647.2023.10178169","relation":{},"subject":[],"published":{"date-parts":[[2023,6,13]]}}}