{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T17:04:21Z","timestamp":1783530261620,"version":"3.55.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,6,8]],"date-time":"2022-06-08T00:00:00Z","timestamp":1654646400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,8]],"date-time":"2022-06-08T00:00:00Z","timestamp":1654646400000},"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":[[2022,6,8]]},"DOI":"10.23919\/acc53348.2022.9867813","type":"proceedings-article","created":{"date-parts":[[2022,9,5]],"date-time":"2022-09-05T16:24:10Z","timestamp":1662395050000},"page":"2078-2083","source":"Crossref","is-referenced-by-count":5,"title":["Reachability-based Control Synthesis under Signal Temporal Logic Specifications"],"prefix":"10.23919","author":[{"given":"Wei","family":"Ren","sequence":"first","affiliation":[{"name":"ICTEAM Institute,UCLouvain,Louvain-la-Neuve,Belgium,1348"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raphael","family":"Jungers","sequence":"additional","affiliation":[{"name":"ICTEAM Institute,UCLouvain,Louvain-la-Neuve,Belgium,1348"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2020.3014602"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799279"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3090980"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683150"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.02.036"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.108614"},{"key":"ref16","article-title":"Representation of polytopes as polynomial zonotopes","author":"kochdumper","year":"2019"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3024348"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2010.01.031"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-1991-1079024-2"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems"},{"key":"ref2","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref1","volume":"1","author":"fong","year":"2001","journal-title":"Collaborative control A robot-centric model for vehicle teleoperation"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029666"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456703"}],"event":{"name":"2022 American Control Conference (ACC)","location":"Atlanta, GA, USA","start":{"date-parts":[[2022,6,8]]},"end":{"date-parts":[[2022,6,10]]}},"container-title":["2022 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9866948\/9867142\/09867813.pdf?arnumber=9867813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,4]],"date-time":"2022-10-04T15:54:12Z","timestamp":1664898852000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9867813\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,8]]},"references-count":20,"URL":"https:\/\/doi.org\/10.23919\/acc53348.2022.9867813","relation":{},"subject":[],"published":{"date-parts":[[2022,6,8]]}}}