{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T00:00:34Z","timestamp":1768348834528,"version":"3.49.0"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T00:00:00Z","timestamp":1719273600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T00:00:00Z","timestamp":1719273600000},"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":[[2024,6,25]]},"DOI":"10.23919\/ecc64448.2024.10590925","type":"proceedings-article","created":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T17:48:23Z","timestamp":1721843303000},"page":"579-584","source":"Crossref","is-referenced-by-count":2,"title":["Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis"],"prefix":"10.23919","author":[{"given":"Loizos","family":"Hadjiloizou","sequence":"first","affiliation":[{"name":"EECS, KTH Royal Institute of Technology,Division of Decision and Control Systems,Stockholm,Sweden,10044"}]},{"given":"Frank J.","family":"Jiang","sequence":"additional","affiliation":[{"name":"EECS, KTH Royal Institute of Technology,Division of Decision and Control Systems,Stockholm,Sweden,10044"}]},{"given":"Amr","family":"Alanwar","sequence":"additional","affiliation":[{"name":"School of Computation, Information and Technology, Technical University of Munich,Heilbronn,Germany,74076"}]},{"given":"Karl H.","family":"Johansson","sequence":"additional","affiliation":[{"name":"EECS, KTH Royal Institute of Technology,Division of Decision and Control Systems,Stockholm,Sweden,10044"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/9781139061759"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3118335"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304186"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104941"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669862"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.02.036"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3024348"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-023-00437-5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111107"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3133126"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3289572"}],"event":{"name":"2024 European Control Conference (ECC)","location":"Stockholm, Sweden","start":{"date-parts":[[2024,6,25]]},"end":{"date-parts":[[2024,6,28]]}},"container-title":["2024 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10590709\/10590710\/10590925.pdf?arnumber=10590925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T06:14:24Z","timestamp":1721888064000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10590925\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,25]]},"references-count":14,"URL":"https:\/\/doi.org\/10.23919\/ecc64448.2024.10590925","relation":{},"subject":[],"published":{"date-parts":[[2024,6,25]]}}}