{"id":"https://openalex.org/W3140654866","doi":"https://doi.org/10.1145/3433994","title":"Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees","display_name":"Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees","publication_year":2021,"publication_date":"2021-03-26","ids":{"openalex":"https://openalex.org/W3140654866","doi":"https://doi.org/10.1145/3433994","mag":"3140654866"},"language":"en","primary_location":{"id":"doi:10.1145/3433994","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3433994","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046536919","display_name":"Giuseppe Bombara","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Giuseppe Bombara","raw_affiliation_strings":["Boston University, Boston, MA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University, Boston, MA, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086742095","display_name":"C\u0103lin Belta","orcid":"https://orcid.org/0000-0002-7141-2657"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Calin Belta","raw_affiliation_strings":["Boston University, Boston, MA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University, Boston, MA, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5046536919"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.4978,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.93661992,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"5","issue":"3","first_page":"1","last_page":"23"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12761","display_name":"Data Stream Mining Techniques","score":0.9883999824523926,"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"}},"topics":[{"id":"https://openalex.org/T12761","display_name":"Data Stream Mining Techniques","score":0.9883999824523926,"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"}},{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9882000088691711,"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"}},{"id":"https://openalex.org/T12391","display_name":"Artificial Immune Systems Applications","score":0.9708999991416931,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7183933854103088},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.6328163743019104},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6300002336502075},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5742089152336121},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5740694999694824},{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.5501209497451782},{"id":"https://openalex.org/keywords/anomaly-detection","display_name":"Anomaly detection","score":0.541104793548584},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4887687861919403},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.48571524024009705},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.48318448662757874},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.39369046688079834},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3419300317764282},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.30556154251098633},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1332263946533203}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7183933854103088},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6328163743019104},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6300002336502075},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5742089152336121},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5740694999694824},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.5501209497451782},{"id":"https://openalex.org/C739882","wikidata":"https://www.wikidata.org/wiki/Q3560506","display_name":"Anomaly detection","level":2,"score":0.541104793548584},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4887687861919403},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.48571524024009705},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.48318448662757874},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.39369046688079834},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3419300317764282},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30556154251098633},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1332263946533203},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3433994","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3433994","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6299999952316284,"id":"https://metadata.un.org/sdg/14","display_name":"Life below water"}],"awards":[{"id":"https://openalex.org/G2658816846","display_name":null,"funder_award_id":"CNS-1446607, CBET-0939511, IIS-1723995","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320317941","display_name":"DENSO","ror":"https://ror.org/04hkpfa76"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W116105297","https://openalex.org/W371510500","https://openalex.org/W1504694836","https://openalex.org/W1595159159","https://openalex.org/W1673033605","https://openalex.org/W1796872423","https://openalex.org/W1970074386","https://openalex.org/W1972402079","https://openalex.org/W1999288406","https://openalex.org/W2049151032","https://openalex.org/W2049399166","https://openalex.org/W2060408509","https://openalex.org/W2068714596","https://openalex.org/W2069816994","https://openalex.org/W2133632100","https://openalex.org/W2168798915","https://openalex.org/W2171033594","https://openalex.org/W2312067050","https://openalex.org/W2339807279","https://openalex.org/W2474788619","https://openalex.org/W2496887306","https://openalex.org/W2532349384","https://openalex.org/W2561675875","https://openalex.org/W2569450175","https://openalex.org/W2616554232","https://openalex.org/W2752140520","https://openalex.org/W2752563773","https://openalex.org/W2753693129","https://openalex.org/W2781885368","https://openalex.org/W2807161818","https://openalex.org/W2892035503","https://openalex.org/W2903354964","https://openalex.org/W2956034981","https://openalex.org/W3100743289","https://openalex.org/W3123791793","https://openalex.org/W4247032989"],"related_works":["https://openalex.org/W2131958170","https://openalex.org/W2061122711","https://openalex.org/W2273754158","https://openalex.org/W4247954915","https://openalex.org/W2336747664","https://openalex.org/W2357130048","https://openalex.org/W4206605161","https://openalex.org/W2092234295","https://openalex.org/W2528363695","https://openalex.org/W1971270045"],"abstract_inverted_index":{"In":[0,82,119],"this":[1,75,83],"article,":[2],"we":[3,17,57],"focus":[4],"on":[5],"inferring":[6],"high-level":[7],"descriptions":[8],"of":[9,29,38,40,133,151],"a":[10,19,35,59,156,171],"system":[11,23,41,55,163],"from":[12],"its":[13],"execution":[14],"traces.":[15,71],"Specifically,":[16],"consider":[18],"classification":[20],"problem":[21,159,169],"where":[22,45],"behaviors":[24],"are":[25,124],"described":[26],"using":[27],"formulae":[28,123],"Signal":[30],"Temporal":[31],"Logic":[32],"(STL).":[33],"Given":[34],"finite":[36],"set":[37],"pairs":[39],"traces":[42],"and":[43,95,126,140,164],"labels,":[44],"each":[46],"label":[47],"indicates":[48],"whether":[49],"the":[50,70,78,96,105,121,134,149,152],"corresponding":[51],"trace":[52],"exhibits":[53],"some":[54,112],"property,":[56],"devised":[58],"decision-tree-based":[60],"framework":[61],"that":[62,67,88],"outputs":[63],"an":[64,161,166],"STL":[65],"formula":[66,99],"can":[68,127],"distinguish":[69],"We":[72,142],"also":[73],"extend":[74],"approach":[76,110],"to":[77,103,147],"online":[79],"learning":[80,117],"scenario.":[81],"setting,":[84],"it":[85],"is":[86],"assumed":[87],"new":[89,106],"signals":[90],"may":[91],"arrive":[92],"over":[93,114],"time":[94],"previously":[97],"inferred":[98],"should":[100],"be":[101,128],"updated":[102],"accommodate":[104],"data.":[107],"The":[108],"proposed":[109,153],"presents":[111],"advantages":[113],"traditional":[115],"machine":[116],"classifiers.":[118],"particular,":[120],"produced":[122],"interpretable":[125],"used":[129],"in":[130,160,170],"other":[131],"phases":[132],"system\u2019s":[135],"operation,":[136],"such":[137],"as":[138],"monitoring":[139],"control.":[141],"present":[143],"two":[144],"case":[145],"studies":[146],"illustrate":[148],"effectiveness":[150],"algorithms:":[154],"(1)":[155],"fault":[157],"detection":[158,168],"automotive":[162],"(2)":[165],"anomaly":[167],"maritime":[172],"environment.":[173]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":6}],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}