{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:43:01Z","timestamp":1729622581000,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1109\/coase.2017.8256287","type":"proceedings-article","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T18:11:01Z","timestamp":1516212661000},"page":"1338-1343","source":"Crossref","is-referenced-by-count":0,"title":["Temporal specification testing of hybrid systems"],"prefix":"10.1109","author":[{"given":"Thao","family":"Dang","sequence":"first","affiliation":[]},{"given":"Tommaso","family":"Dreossi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/CDC.2007.4434348"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1186\/1752-0509-3-95"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1049\/ip-syb:20050024"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1091\/mbc.9.12.3521"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/3-540-45351-2_33"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1017\/CBO9780511814075"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1016\/j.tcs.2010.01.032"},{"year":"2004","journal-title":"Elements of Applied Bifurcation Theory","key":"ref17"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.4204\/EPTCS.125.4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/j.entcs.2009.02.004"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.4204\/EPTCS.92.6"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/s10703-009-0066-0","article-title":"Coverage-guided test generation for continuous and hybrid systems","volume":"34","author":"dang","year":"2009","journal-title":"Form Methods Syst Des"},{"key":"ref8","first-page":"167","article-title":"Breach, a toolbox for verification and parameter synthesis of hybrid systems","author":"donze","year":"2010","journal-title":"CAV"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/ACC.2009.5160512"},{"key":"ref2","first-page":"254","article-title":"S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems","author":"annapureddy","year":"2011","journal-title":"TACAS"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref9","first-page":"92","article-title":"Robust satisfaction of temporal logic over real-valued signals","author":"donz\u00e9","year":"2010","journal-title":"FORMATS"}],"event":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE 2017)","start":{"date-parts":[[2017,8,20]]},"location":"Xi'an","end":{"date-parts":[[2017,8,23]]}},"container-title":["2017 13th IEEE Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8244402\/8256062\/08256287.pdf?arnumber=8256287","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T09:32:23Z","timestamp":1570613543000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8256287\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/coase.2017.8256287","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}