{"id":"https://openalex.org/W2962741219","doi":"https://doi.org/10.1145/3365365.3382218","title":"Interpretable classification of time-series data using efficient enumerative techniques","display_name":"Interpretable classification of time-series data using efficient enumerative techniques","publication_year":2020,"publication_date":"2020-04-22","ids":{"openalex":"https://openalex.org/W2962741219","doi":"https://doi.org/10.1145/3365365.3382218","mag":"2962741219"},"language":"en","primary_location":{"id":"doi:10.1145/3365365.3382218","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3365365.3382218","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1907.10265","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072834541","display_name":"Sara Mohammadinejad","orcid":"https://orcid.org/0000-0002-4986-5553"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]},{"id":"https://openalex.org/I2800817003","display_name":"Southern California University for Professional Studies","ror":"https://ror.org/058zz0t50","country_code":"US","type":"education","lineage":["https://openalex.org/I2800817003"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sara Mohammadinejad","raw_affiliation_strings":["University of Southern California","University  of Southern California"],"affiliations":[{"raw_affiliation_string":"University of Southern California","institution_ids":["https://openalex.org/I2800817003","https://openalex.org/I1174212"]},{"raw_affiliation_string":"University  of Southern California","institution_ids":["https://openalex.org/I2800817003","https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057473400","display_name":"Jyotirmoy V. Deshmukh","orcid":"https://orcid.org/0000-0003-4683-5540"},"institutions":[{"id":"https://openalex.org/I2800817003","display_name":"Southern California University for Professional Studies","ror":"https://ror.org/058zz0t50","country_code":"US","type":"education","lineage":["https://openalex.org/I2800817003"]},{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jyotirmoy V. Deshmukh","raw_affiliation_strings":["University of Southern California","University  of Southern California"],"affiliations":[{"raw_affiliation_string":"University of Southern California","institution_ids":["https://openalex.org/I2800817003","https://openalex.org/I1174212"]},{"raw_affiliation_string":"University  of Southern California","institution_ids":["https://openalex.org/I2800817003","https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010006741","display_name":"Aniruddh G. Puranic","orcid":"https://orcid.org/0000-0003-0010-9789"},"institutions":[{"id":"https://openalex.org/I2800817003","display_name":"Southern California University for Professional Studies","ror":"https://ror.org/058zz0t50","country_code":"US","type":"education","lineage":["https://openalex.org/I2800817003"]},{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aniruddh G. Puranic","raw_affiliation_strings":["University of Southern California","University  of Southern California"],"affiliations":[{"raw_affiliation_string":"University of Southern California","institution_ids":["https://openalex.org/I2800817003","https://openalex.org/I1174212"]},{"raw_affiliation_string":"University  of Southern California","institution_ids":["https://openalex.org/I2800817003","https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044414209","display_name":"Marcell Vazquez-Chanlatte","orcid":"https://orcid.org/0000-0002-1248-0000"},"institutions":[{"id":"https://openalex.org/I2803209242","display_name":"University of California System","ror":"https://ror.org/00pjdza24","country_code":"US","type":"education","lineage":["https://openalex.org/I2803209242"]},{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marcell Vazquez-Chanlatte","raw_affiliation_strings":["University of California","University of California\u2013Berkeley"],"affiliations":[{"raw_affiliation_string":"University of California","institution_ids":["https://openalex.org/I2803209242"]},{"raw_affiliation_string":"University of California\u2013Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081324945","display_name":"Alexandre Donz\u00e9","orcid":"https://orcid.org/0000-0002-1138-5458"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alexandre Donz\u00e9","raw_affiliation_strings":["Decyphir, Inc"],"affiliations":[{"raw_affiliation_string":"Decyphir, Inc","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5072834541"],"corresponding_institution_ids":["https://openalex.org/I1174212","https://openalex.org/I2800817003"],"apc_list":null,"apc_paid":null,"fwci":0.1444,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.48547773,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.984000027179718,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9677000045776367,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interpretability","display_name":"Interpretability","score":0.8154171705245972},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7652349472045898},{"id":"https://openalex.org/keywords/series","display_name":"Series (stratigraphy)","score":0.6133939623832703},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4755896329879761},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.46393540501594543},{"id":"https://openalex.org/keywords/time-series","display_name":"Time series","score":0.4344608187675476},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4237600564956665},{"id":"https://openalex.org/keywords/categorization","display_name":"Categorization","score":0.42185232043266296},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4043983519077301},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40225428342819214},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.36419880390167236},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3599046468734741},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11771690845489502}],"concepts":[{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.8154171705245972},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7652349472045898},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.6133939623832703},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4755896329879761},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.46393540501594543},{"id":"https://openalex.org/C151406439","wikidata":"https://www.wikidata.org/wiki/Q186588","display_name":"Time series","level":2,"score":0.4344608187675476},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4237600564956665},{"id":"https://openalex.org/C94124525","wikidata":"https://www.wikidata.org/wiki/Q912550","display_name":"Categorization","level":2,"score":0.42185232043266296},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4043983519077301},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40225428342819214},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.36419880390167236},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3599046468734741},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11771690845489502},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3365365.3382218","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3365365.3382218","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1907.10265","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1907.10265","pdf_url":"https://arxiv.org/pdf/1907.10265","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2962741219","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1907.10265v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1907.10265","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1907.10265","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1907.10265","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1907.10265","pdf_url":"https://arxiv.org/pdf/1907.10265","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2962741219.pdf","grobid_xml":"https://content.openalex.org/works/W2962741219.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W134960717","https://openalex.org/W293916754","https://openalex.org/W297340568","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1796872423","https://openalex.org/W1857382374","https://openalex.org/W1983770999","https://openalex.org/W2006538664","https://openalex.org/W2049399166","https://openalex.org/W2068619069","https://openalex.org/W2086092403","https://openalex.org/W2086359741","https://openalex.org/W2094878426","https://openalex.org/W2121894367","https://openalex.org/W2153803621","https://openalex.org/W2158381251","https://openalex.org/W2161159055","https://openalex.org/W2273867829","https://openalex.org/W2293761843","https://openalex.org/W2339807279","https://openalex.org/W2367397349","https://openalex.org/W2426537415","https://openalex.org/W2616554232","https://openalex.org/W2752563773","https://openalex.org/W2773814846","https://openalex.org/W2775913641","https://openalex.org/W2810134265","https://openalex.org/W2912432686","https://openalex.org/W2956034981","https://openalex.org/W2963427179","https://openalex.org/W2963593407","https://openalex.org/W3120740533","https://openalex.org/W4242239856"],"related_works":["https://openalex.org/W3021068062","https://openalex.org/W3140654866","https://openalex.org/W2963427179","https://openalex.org/W2903354964","https://openalex.org/W2968438543","https://openalex.org/W106669705","https://openalex.org/W2243053057","https://openalex.org/W2117678067","https://openalex.org/W3160693025","https://openalex.org/W1593965618","https://openalex.org/W2496170334","https://openalex.org/W629590370","https://openalex.org/W2151782266","https://openalex.org/W2186947120","https://openalex.org/W414320318","https://openalex.org/W2899939216","https://openalex.org/W2112648537","https://openalex.org/W3202893898","https://openalex.org/W2973588525","https://openalex.org/W3036006055"],"abstract_inverted_index":{"Cyber-physical":[0],"system":[1],"applications":[2],"such":[3,61],"as":[4,62,76],"autonomous":[5],"vehicles,":[6],"wearable":[7],"devices,":[8],"and":[9,27,145,168,198],"avionic":[10],"systems":[11],"generate":[12],"a":[13,86,113,135,147,176],"large":[14],"volume":[15],"of":[16,78,126,154,161,183],"time-series":[17,36,79,101],"data.":[18,30,102],"Designers":[19],"often":[20,52],"look":[21],"for":[22,35],"tools":[23],"to":[24,41,89,98,115,149,178],"help":[25],"classify":[26,99],"categorize":[28],"the":[29,46,56,72,119,131,152,159,181,196],"Traditional":[31],"machine":[32],"learning":[33,106],"techniques":[34],"data":[37,110],"offer":[38],"several":[39],"solutions":[40],"solve":[42],"these":[43,50,143],"problems;":[44],"however,":[45],"artifacts":[47],"trained":[48],"by":[49,118],"algorithms":[51],"lack":[53],"interpretability.":[54],"On":[55],"other":[57],"hand,":[58],"temporal":[59,92],"logic,":[60],"Signal":[63],"Temporal":[64],"Logic":[65],"(STL)":[66],"have":[67],"been":[68],"successfully":[69],"used":[70],"in":[71,134],"formal":[73],"methods":[74],"community":[75],"specifications":[77],"behaviors.":[80],"In":[81,138],"this":[82],"work,":[83],"we":[84,141,174,187],"propose":[85],"new":[87],"technique":[88,177,190],"automatically":[90],"learn":[91],"logic":[93],"formulas":[94,108,164,184],"that":[95,128],"are":[96],"able":[97],"real-valued":[100],"Previous":[103],"work":[104],"on":[105,191],"STL":[107,127,156,163],"from":[109,195],"either":[111],"assumes":[112,122],"formula-template":[114],"be":[116],"given":[117],"user,":[120],"or":[121],"some":[123],"special":[124],"fragment":[125],"enables":[129],"exploring":[130],"formula":[132],"structure":[133],"systematic":[136],"fashion.":[137],"our":[139,189],"technique,":[140],"relax":[142],"assumptions,":[144],"provide":[146],"way":[148],"systematically":[150],"explore":[151],"space":[153,160,182],"all":[155,162],"formulas.":[157],"As":[158],"is":[165],"very":[166],"large,":[167],"contains":[169],"many":[170],"semantically":[171],"equivalent":[172],"formulas,":[173],"suggest":[175],"heuristically":[179],"prune":[180],"considered.":[185],"Finally,":[186],"illustrate":[188],"various":[192],"case":[193],"studies":[194],"automotive":[197],"transportation":[199],"domains.":[200]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}