{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:56:43Z","timestamp":1729666603973,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7799150","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T12:11:18Z","timestamp":1483618278000},"page":"5732-5737","source":"Crossref","is-referenced-by-count":3,"title":["Feasibility envelopes for metric temporal logic specifications"],"prefix":"10.1109","author":[{"given":"Sadra","family":"Sadraddini","sequence":"first","affiliation":[]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00193-9"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"1747","DOI":"10.1016\/S0005-1098(99)00113-2","article-title":"Set invariance in control-a survey","volume":"35","author":"blanchini","year":"1999","journal-title":"Automatica"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","article-title":"Temporal-logic-based reactive mission and motion planning","volume":"25","author":"kress-gazit","year":"2009","journal-title":"IEEE Transactions on Robotics"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351653"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_19"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0965-8564(96)00001-8"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1430242"},{"key":"ref18","volume":"6","author":"bertsimas","year":"1997","journal-title":"Introduction to Linear Optimization"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89439-1_18"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.01.029"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.33"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2303051"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739366"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref1","volume":"26202649","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184749"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","start":{"date-parts":[[2016,12,12]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07799150.pdf?arnumber=7799150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T01:40:49Z","timestamp":1568684449000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7799150\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7799150","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}