{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T10:03:31Z","timestamp":1781172211048,"version":"3.54.1"},"reference-count":41,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.23919\/fmcad.2018.8603016","type":"proceedings-article","created":{"date-parts":[[2019,1,8]],"date-time":"2019-01-08T20:33:52Z","timestamp":1546979632000},"page":"1-10","source":"Crossref","is-referenced-by-count":66,"title":["Learning Linear Temporal Properties"],"prefix":"10.23919","author":[{"given":"Daniel","family":"Neider","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ivan","family":"Gavran","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","first-page":"46:1","article-title":"Why is random testing effective for partition tolerance bugs?","volume":"2","author":"majumdar","year":"2018","journal-title":"PACMPL"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"ref33","first-page":"5061","article-title":"SAT competition 2016: Recent developments","author":"balyo","year":"2017","journal-title":"Proc of the Thirtieth AAAI Conference on Artificial Intelligence"},{"key":"ref32","volume":"185","author":"biere","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref31","first-page":"434","article-title":"Learning mso-definable hypotheses on strings","volume":"76","author":"grohe","year":"2017"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005080"},{"key":"ref37","first-page":"7","article-title":"Property specification patterns for finite-state verification","author":"dwyer","year":"0"},{"key":"ref36","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"0"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2018.8603016"},{"key":"ref34","author":"breiman","year":"1993","journal-title":"Classification and Regression Trees Wadsworth 1984"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0065-2458(03)58003-2","article-title":"Bounded model checking","volume":"58","author":"biere","year":"0","journal-title":"Advances in Computers"},{"key":"ref40","author":"medeiros","year":"2012","journal-title":"Zookeeper's atomic broadcast protocol Theory and practice"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883843"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref13","author":"quinlan","year":"1993","journal-title":"C4 5 Programs for Machine Learning"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2011.5958223"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2018.8603016"},{"key":"ref16","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","volume":"3253","author":"maler","year":"2004"},{"key":"ref17","first-page":"147","article-title":"Parametric identification of temporal properties","volume":"7186","author":"asarin","year":"2011"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562146"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2585083"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.07.031"},{"key":"ref4","author":"blum","year":"2018","journal-title":"Foundations of Data Science"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1968.1972"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1099","DOI":"10.1109\/T-C.1973.223655","article-title":"state reduction in incompletely specified finite-state machines","volume":"c 22","author":"pfleeger","year":"1973","journal-title":"IEEE Transactions on Computers"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref5","author":"mitchell","year":"1997","journal-title":"Machine Learning"},{"key":"ref8","first-page":"403","article-title":"Regular model checking","volume":"1855","author":"bouajjani","year":"2000"},{"key":"ref7","first-page":"354","article-title":"Computing minimal separating dfas and regular invariants using SAT and SMT solvers","volume":"7561","author":"neider","year":"2012"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"ref9","first-page":"16","article-title":"Regular model checking using solver technologies and automata learning","volume":"7871","author":"neider","year":"2013"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264452"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2011.5970509"},{"key":"ref21","article-title":"Learning temporal logical properties discriminating ECG models of cardiac arrhytmias","volume":"abs 1312 7523","author":"bartocci","year":"2013","journal-title":"CoRR"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-011-0084-1"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3276530"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.71"},{"key":"ref26","article-title":"Tense logic and the theory of linear order","author":"kamp","year":"1968","journal-title":"Ph D Dissertation"},{"key":"ref25","first-page":"1","article-title":"On a decision method in restricted second-order arithmetic","author":"b\u00fcchi","year":"1962","journal-title":"Int Congr for Logic Methodology and Philosophy of Science"}],"event":{"name":"2018 Formal Methods in Computer Aided Design (FMCAD)","location":"Austin, TX","start":{"date-parts":[[2018,10,30]]},"end":{"date-parts":[[2018,11,2]]}},"container-title":["2018 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8585253\/8602989\/08603016.pdf?arnumber=8603016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,25]],"date-time":"2022-01-25T16:57:04Z","timestamp":1643129824000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8603016\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":41,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2018.8603016","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}