{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:11:10Z","timestamp":1755997870567,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.23919\/acc.2018.8431460","type":"proceedings-article","created":{"date-parts":[[2018,8,17]],"date-time":"2018-08-17T20:16:10Z","timestamp":1534536970000},"page":"1592-1597","source":"Crossref","is-referenced-by-count":5,"title":["Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology"],"prefix":"10.23919","author":[{"given":"Houssam","family":"Abbas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Mangharam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1046\/j.1540-8167.2002.00432.x"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_22"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00602-9_10"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0261-8"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-11164-3_19","article-title":"On-line monitoring for temporal logic robustness","author":"dokhanchi","year":"2014","journal-title":"Runtime Verification"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","article-title":"Breach, a toolbox for verification and parameter synthesis of hybrid systems","author":"donz\u00e9","year":"2010","journal-title":"Proceedings of the 22Nd International Conference on Computer Aided Verification CAV'10"},{"key":"ref16","first-page":"92","author":"donz\u00e9","year":"2010","journal-title":"Robust satisfaction of temporal logic over real-valued signals"},{"journal-title":"Clinical Cardiac Pacing Defibrillation and Resynchronization Therapy","year":"2011","author":"ellenbogen","key":"ref17"},{"journal-title":"Robustness of Temporal Logic Specifications","year":"2008","author":"fainekos","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961854"},{"journal-title":"Technical report Generalized robust MTL semantics for problems in cardiac electrophysiology","year":"2018","author":"abbas","key":"ref3"},{"journal-title":"Viability Theory","year":"1991","author":"aubin","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2010.5675195"},{"journal-title":"Development Documentation","article-title":"The Compass - Technical Guide to Boston Scientific Cardiac Rhythm Management Products","year":"2007","key":"ref8"},{"journal-title":"A Survey on Metric Learning for Feature Vectors and Structured Data","year":"2014","author":"bellet","key":"ref7"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/2883817.2883841","article-title":"Towards model checking of implantable cardioverter defibrillators","author":"abbas","year":"2016","journal-title":"HSCC 16"},{"journal-title":"Metrization and Simulation of Controlled Hybrid Systems","year":"2013","author":"burden","key":"ref9"},{"key":"ref1","article-title":"A novel morphology discriminator to improve discrimination between ventricular and supraventricular tachycardias","volume":"14","author":"abbas","year":"2017","journal-title":"Heart Rhythm Journal (Supplement)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315384"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1016\/j.automatica.2005.12.019","article-title":"Solutions to hybrid inclusions via set and graphical convergence with stability theory applications","volume":"42","author":"goebel","year":"2006","journal-title":"Automatica"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0029-9"},{"key":"ref24","first-page":"201","author":"jak\u0161i?","year":"2016","journal-title":"Quantitative Monitoring of STL with Edit Distance"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2003.1210101"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1111\/j.1540-8159.2011.03150.x"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CIC.1999.825977"}],"event":{"name":"2018 Annual American Control Conference (ACC)","start":{"date-parts":[[2018,6,27]]},"location":"Milwaukee, WI","end":{"date-parts":[[2018,6,29]]}},"container-title":["2018 Annual American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8410068\/8430677\/08431460.pdf?arnumber=8431460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T01:27:48Z","timestamp":1598232468000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8431460\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":26,"URL":"https:\/\/doi.org\/10.23919\/acc.2018.8431460","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}