{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:54:32Z","timestamp":1729619672654,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/acc.2014.6859307","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T21:01:49Z","timestamp":1406667709000},"page":"2918-2923","source":"Crossref","is-referenced-by-count":11,"title":["Using verified control envelopes for safe controller design"],"prefix":"10.1109","author":[{"given":"Nikos","family":"Arechiga","sequence":"first","affiliation":[]},{"given":"Bruce","family":"Krogh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s10009-007-0062-x","article-title":"PHAVer: Algorithmic verification of hybrid systems past HyTech","volume":"10","author":"frehse","year":"2008","journal-title":"STTT"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315388"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","author":"tarski","year":"1951","journal-title":"A decision method for elementary algebra and geometry"},{"journal-title":"Cooperative Intersection Collision Avoidance Systems","year":"0","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9103-8"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","author":"harel","year":"2000","journal-title":"Dynamic Logic"},{"key":"4","first-page":"379","article-title":"Spaceex: Scalable verification of hybrid systems","author":"frehse","year":"2011","journal-title":"CAV Volume 6806 of Lecture Notes in Computer Science"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1210268.1210276"},{"key":"8","first-page":"171","article-title":"KeYmaera: A hybrid theorem prover for hybrid systems","author":"platzer","year":"2008","journal-title":"IJCAR Volume 5195 of LNCS"}],"event":{"name":"2014 American Control Conference - ACC 2014","start":{"date-parts":[[2014,6,4]]},"location":"Portland, OR, USA","end":{"date-parts":[[2014,6,6]]}},"container-title":["2014 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6849600\/6858556\/06859307.pdf?arnumber=6859307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,13]],"date-time":"2022-04-13T01:33:14Z","timestamp":1649813594000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6859307\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/acc.2014.6859307","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}