{"id":"https://openalex.org/W4225558829","doi":"https://doi.org/10.1007/978-3-030-99524-9_15","title":"Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes","display_name":"Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4225558829","doi":"https://doi.org/10.1007/978-3-030-99524-9_15"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-99524-9_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99524-9_15","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_15.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_15.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060744592","display_name":"Luca Bortolussi","orcid":"https://orcid.org/0000-0001-8874-4001"},"institutions":[{"id":"https://openalex.org/I142444530","display_name":"University of Trieste","ror":"https://ror.org/02n742c10","country_code":"IT","type":"education","lineage":["https://openalex.org/I142444530"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE","IT"],"is_corresponding":true,"raw_author_name":"Luca Bortolussi","raw_affiliation_strings":["Modelling and Simulation Group, Saarland University, Saarbr\u00fccken, Germany","University of Trieste, Trieste, Italy"],"raw_orcid":"https://orcid.org/0000-0001-8874-4001","affiliations":[{"raw_affiliation_string":"Modelling and Simulation Group, Saarland University, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]},{"raw_affiliation_string":"University of Trieste, Trieste, Italy","institution_ids":["https://openalex.org/I142444530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085530658","display_name":"G. Gallo","orcid":"https://orcid.org/0000-0002-1252-2426"},"institutions":[{"id":"https://openalex.org/I142444530","display_name":"University of Trieste","ror":"https://ror.org/02n742c10","country_code":"IT","type":"education","lineage":["https://openalex.org/I142444530"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Maria Gallo","raw_affiliation_strings":["University of Trieste, Trieste, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Trieste, Trieste, Italy","institution_ids":["https://openalex.org/I142444530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074485601","display_name":"Jan K\u0159et\u00ednsk\u00fd","orcid":"https://orcid.org/0000-0002-8122-2881"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Jan K\u0159et\u00ednsk\u00fd","raw_affiliation_strings":["Technical University of Munich, Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0002-8122-2881","affiliations":[{"raw_affiliation_string":"Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021825279","display_name":"Laura Nenzi","orcid":"https://orcid.org/0000-0003-2263-9342"},"institutions":[{"id":"https://openalex.org/I142444530","display_name":"University of Trieste","ror":"https://ror.org/02n742c10","country_code":"IT","type":"education","lineage":["https://openalex.org/I142444530"]},{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT","IT"],"is_corresponding":true,"raw_author_name":"Laura Nenzi","raw_affiliation_strings":["University of Technology, Vienna, Austria","University of Trieste, Trieste, Italy"],"raw_orcid":"https://orcid.org/0000-0003-2263-9342","affiliations":[{"raw_affiliation_string":"University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"University of Trieste, Trieste, Italy","institution_ids":["https://openalex.org/I142444530"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5021825279","https://openalex.org/A5060744592","https://openalex.org/A5074485601"],"corresponding_institution_ids":["https://openalex.org/I142444530","https://openalex.org/I145847075","https://openalex.org/I62916508","https://openalex.org/I91712215"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":5.3106,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.96015054,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"281","last_page":"300"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9954000115394592,"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.9954000115394592,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9926000237464905,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9661999940872192,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8092758059501648},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.7844556570053101},{"id":"https://openalex.org/keywords/kernel-method","display_name":"Kernel method","score":0.5466448068618774},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5456101298332214},{"id":"https://openalex.org/keywords/similarity","display_name":"Similarity (geometry)","score":0.5126194357872009},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5102386474609375},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.47857168316841125},{"id":"https://openalex.org/keywords/polynomial-kernel","display_name":"Polynomial kernel","score":0.4392213523387909},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4326581358909607},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.42299315333366394},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.365734726190567},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.33183449506759644},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16467776894569397},{"id":"https://openalex.org/keywords/support-vector-machine","display_name":"Support vector machine","score":0.15459948778152466},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12080791592597961},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.07472217082977295},{"id":"https://openalex.org/keywords/image","display_name":"Image (mathematics)","score":0.06891056895256042}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8092758059501648},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.7844556570053101},{"id":"https://openalex.org/C122280245","wikidata":"https://www.wikidata.org/wiki/Q620622","display_name":"Kernel method","level":3,"score":0.5466448068618774},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5456101298332214},{"id":"https://openalex.org/C103278499","wikidata":"https://www.wikidata.org/wiki/Q254465","display_name":"Similarity (geometry)","level":3,"score":0.5126194357872009},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5102386474609375},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.47857168316841125},{"id":"https://openalex.org/C160446489","wikidata":"https://www.wikidata.org/wiki/Q7226642","display_name":"Polynomial kernel","level":4,"score":0.4392213523387909},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4326581358909607},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.42299315333366394},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.365734726190567},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.33183449506759644},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16467776894569397},{"id":"https://openalex.org/C12267149","wikidata":"https://www.wikidata.org/wiki/Q282453","display_name":"Support vector machine","level":2,"score":0.15459948778152466},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12080791592597961},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.07472217082977295},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.06891056895256042},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-030-99524-9_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99524-9_15","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_15.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:arts.units.it:11368/3029913","is_oa":true,"landing_page_url":"http://hdl.handle.net/11368/3029913","pdf_url":null,"source":{"id":"https://openalex.org/S4306400480","display_name":"ArTS Archivio della ricerca di Trieste (University of Trieste https://www.units.it/)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I142444530","host_organization_name":"University of Trieste","host_organization_lineage":["https://openalex.org/I142444530"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-99524-9_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99524-9_15","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_15.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4292065384","display_name":null,"funder_award_id":"ZK-35","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G5329822564","display_name":null,"funder_award_id":"383882557","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4225558829.pdf","grobid_xml":"https://content.openalex.org/works/W4225558829.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W181236562","https://openalex.org/W1480714962","https://openalex.org/W1489725951","https://openalex.org/W1510073064","https://openalex.org/W1545761024","https://openalex.org/W1547304883","https://openalex.org/W1972402079","https://openalex.org/W2067191022","https://openalex.org/W2101804404","https://openalex.org/W2162556737","https://openalex.org/W2339807279","https://openalex.org/W2345655206","https://openalex.org/W2785700716","https://openalex.org/W2883465722","https://openalex.org/W2886037486","https://openalex.org/W2912640545","https://openalex.org/W2963593407","https://openalex.org/W2978342210","https://openalex.org/W2981602668","https://openalex.org/W3010924044","https://openalex.org/W3154370202","https://openalex.org/W4211049957"],"related_works":["https://openalex.org/W3123056048","https://openalex.org/W4389428786","https://openalex.org/W2169565408","https://openalex.org/W4386075310","https://openalex.org/W2096302783","https://openalex.org/W2420851703","https://openalex.org/W2089892314","https://openalex.org/W2095626363","https://openalex.org/W2974741803","https://openalex.org/W1548581150"],"abstract_inverted_index":{"Abstract":[0],"We":[1,67,127],"introduce":[2],"a":[3,19,29,100,113,124,139,149],"similarity":[4],"function":[5,21],"on":[6,74,84],"formulae":[7,60,83,118],"of":[8,18,46,59,77,81,104,111,121],"signal":[9],"temporal":[10],"logic":[11],"(STL).":[12],"It":[13],"comes":[14],"in":[15,25,123,135],"the":[16,43,50,56,75,91,108,129,136],"form":[17],"kernel":[20,37,89,92],",":[22],"well":[23],"known":[24],"machine":[26],"learning":[27,63],"as":[28],"conceptually":[30],"and":[31,71,90],"computationally":[32,97],"efficient":[33],"tool.":[34],"The":[35],"corresponding":[36],"trick":[38],"allows":[39],"us":[40],"to":[41,54,115],"circumvent":[42],"complicated":[44],"process":[45],"feature":[47],"extraction,":[48],"i.e.":[49],"(typically":[51],"manual)":[52],"effort":[53],"identify":[55],"decisive":[57],"properties":[58],"so":[61],"that":[62],"can":[64],"be":[65],"applied.":[66],"demonstrate":[68],"this":[69],"consequence":[70],"its":[72],"advantages":[73],"task":[76,110],"predicting":[78],"(quantitative)":[79],"satisfaction":[80],"STL":[82],"stochastic":[85],"processes:":[86],"Using":[87],"our":[88,145],"trick,":[93],"we":[94,132],"learn":[95],"(i)":[96],"efficiently":[98,147],"(ii)":[99],"practically":[101],"precise":[102],"predictor":[103],"satisfaction,":[105],"(iii)":[106],"avoiding":[107],"difficult":[109],"finding":[112],"way":[114],"explicitly":[116],"turn":[117],"into":[119],"vectors":[120],"numbers":[122],"sensible":[125],"way.":[126],"back":[128],"high":[130],"precision":[131],"have":[133],"achieved":[134],"experiments":[137],"by":[138],"theoretically":[140],"sound":[141],"PAC":[142],"guarantee,":[143],"ensuring":[144],"procedure":[146],"delivers":[148],"close-to-optimal":[150],"predictor.":[151]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":2}],"updated_date":"2026-06-05T09:01:59.212387","created_date":"2025-10-10T00:00:00"}