{"id":"https://openalex.org/W4393904820","doi":"https://doi.org/10.1007/978-3-031-57246-3_16","title":"Explainable Online Monitoring of Metric First-Order Temporal Logic","display_name":"Explainable Online Monitoring of Metric First-Order Temporal Logic","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4393904820","doi":"https://doi.org/10.1007/978-3-031-57246-3_16"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-57246-3_16","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57246-3_16","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57246-3_16.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-031-57246-3_16.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089854819","display_name":"Leonardo Lima","orcid":"https://orcid.org/0000-0003-1701-0435"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Leonardo Lima","raw_affiliation_strings":["Department of Computer Science, University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022668192","display_name":"Jonathan Juli\u00e1n Huerta y Munive","orcid":"https://orcid.org/0000-0003-3279-3685"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Jonathan Juli\u00e1n Huerta y Munive","raw_affiliation_strings":["Department of Computer Science, University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046106256","display_name":"Dmitriy Traytel","orcid":"https://orcid.org/0000-0001-7982-2768"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Dmitriy Traytel","raw_affiliation_strings":["Department of Computer Science, University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5089854819"],"corresponding_institution_ids":["https://openalex.org/I124055696"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":6.3627,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.96094724,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"288","last_page":"307"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9977999925613403,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9962999820709229,"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/computer-science","display_name":"Computer science","score":0.8052220940589905},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.634894847869873},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.5981457829475403},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33989542722702026}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8052220940589905},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.634894847869873},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.5981457829475403},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33989542722702026},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-57246-3_16","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57246-3_16","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57246-3_16.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:pure.atira.dk:publications/6bc14535-b25b-4378-b1fa-bca2c8214824","is_oa":true,"landing_page_url":"https://researchprofiles.ku.dk/da/publications/6bc14535-b25b-4378-b1fa-bca2c8214824","pdf_url":"https://curis.ku.dk/ws/files/392211820/Explainable_Online.pdf","source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"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":"Lima , L , Huerta y Munive , J J & Traytel , D 2024 , Explainable Online Monitoring of Metric First-Order Temporal Logic . in B Finkbeiner & L Kov\u00e1cs (eds) , Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . Springer , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 14570 LNCS , pp. 288-307 , 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 , Luxembourg City , Luxembourg , 06/04/2024 . https://doi.org/10.1007/978-3-031-57246-3_16","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-57246-3_16","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57246-3_16","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57246-3_16.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/G2909101356","display_name":null,"funder_award_id":"NNF20OC0063462","funder_id":"https://openalex.org/F4320325957","funder_display_name":"Novo Nordisk Fonden"}],"funders":[{"id":"https://openalex.org/F4320322436","display_name":"Novo Nordisk","ror":"https://ror.org/0435rc536"},{"id":"https://openalex.org/F4320325957","display_name":"Novo Nordisk Fonden","ror":"https://ror.org/04txyc737"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4393904820.pdf"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W1881465144","https://openalex.org/W1989051781","https://openalex.org/W1990748731","https://openalex.org/W2026629052","https://openalex.org/W2032189196","https://openalex.org/W2063150593","https://openalex.org/W2080267935","https://openalex.org/W2139891885","https://openalex.org/W2267240189","https://openalex.org/W2296683979","https://openalex.org/W2512200444","https://openalex.org/W2784117075","https://openalex.org/W2801291729","https://openalex.org/W2892751950","https://openalex.org/W2899588940","https://openalex.org/W2911015216","https://openalex.org/W2913504600","https://openalex.org/W2972736528","https://openalex.org/W2978390175","https://openalex.org/W2981989604","https://openalex.org/W3091834509","https://openalex.org/W3092463013","https://openalex.org/W4289045132","https://openalex.org/W4323026836","https://openalex.org/W4366449963","https://openalex.org/W6891455501","https://openalex.org/W6911176781"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2107831658"],"abstract_inverted_index":{"Abstract":[0],"Metric":[1],"first-order":[2],"temporal":[3,12],"logic":[4],"(MFOTL)":[5],"is":[6,63],"an":[7,35,39,67],"expressive":[8],"formalism":[9],"for":[10],"specifying":[11],"and":[13,38,43,101,110],"data-dependent":[14],"constraints":[15],"on":[16],"streams":[17],"of":[18,28,78],"time-stamped,":[19],"data-carrying":[20],"events.":[21],"It":[22],"serves":[23],"as":[24],"the":[25,48,76,99,112],"specification":[26],"language":[27],"several":[29],"runtime":[30],"monitors.":[31],"These":[32],"monitors":[33],"input":[34],"MFOTL":[36],"formula":[37],"event":[40],"stream":[41],"prefix":[42],"output":[44],"satisfying":[45],"assignments":[46,71],"to":[47,107],"formula\u2019s":[49],"free":[50],"variables.":[51],"For":[52],"complex":[53],"formulas,":[54],"it":[55],"may":[56],"be":[57],"unclear":[58],"why":[59],"a":[60,83,93,102],"certain":[61],"assignment":[62],"output.":[64],"We":[65,81],"propose":[66],"approach":[68],"that":[69,86,97,104],"accompanies":[70],"with":[72],"detailed":[73],"explanations,":[74],"in":[75],"form":[77],"proof":[79],"trees.":[80],"develop":[82],"new":[84],"monitor":[85],"outputs":[87],"such":[88],"explanations.":[89],"Our":[90],"tool":[91],"incorporates":[92],"formally":[94],"verified":[95],"checker":[96],"certifies":[98],"explanations":[100],"visualization":[103],"allows":[105],"users":[106],"interactively":[108],"explore":[109],"understand":[111],"outputs.":[113]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}