{"id":"https://openalex.org/W7133305940","doi":"https://doi.org/10.48550/arxiv.2603.00728","title":"Quantitative Monitoring of Signal First-Order Logic","display_name":"Quantitative Monitoring of Signal First-Order Logic","publication_year":2026,"publication_date":"2026-02-28","ids":{"openalex":"https://openalex.org/W7133305940","doi":"https://doi.org/10.48550/arxiv.2603.00728"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.00728","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.00728","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.00728","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Chalupa, Marek","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chalupa, Marek","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Henzinger, Thomas A.","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Henzinger, Thomas A.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Sara\u00e7, N. Ege","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sara\u00e7, N. Ege","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Yu, Emily","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yu, Emily","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9437000155448914,"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.9437000155448914,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.01209999993443489,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.007400000002235174,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.7211999893188477},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.7028999924659729},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.649399995803833},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5985000133514404},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.5746999979019165},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4821000099182129},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.4713999927043915}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.738099992275238},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7211999893188477},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.7028999924659729},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.649399995803833},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5985000133514404},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.5746999979019165},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4821000099182129},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.4713999927043915},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4643999934196472},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.453000009059906},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42399999499320984},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.3856000006198883},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.36039999127388},{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.35580000281333923},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3027999997138977},{"id":"https://openalex.org/C104267543","wikidata":"https://www.wikidata.org/wiki/Q208163","display_name":"Signal processing","level":3,"score":0.28130000829696655},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.2793999910354614},{"id":"https://openalex.org/C200749887","wikidata":"https://www.wikidata.org/wiki/Q1165574","display_name":"System monitoring","level":2,"score":0.2727000117301941},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C188434589","wikidata":"https://www.wikidata.org/wiki/Q1478762","display_name":"Logic analyzer","level":3,"score":0.26159998774528503},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2522999942302704}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.00728","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.00728","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.00728","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.00728","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Runtime":[0],"monitoring":[1,102,141],"checks,":[2],"during":[3],"execution,":[4],"whether":[5],"a":[6,11,75,82,113],"partial":[7],"signal":[8],"produced":[9],"by":[10],"hybrid":[12],"system":[13],"satisfies":[14],"its":[15,110],"specification.":[16],"Signal":[17,66],"First-Order":[18],"Logic":[19],"(SFO)":[20],"offers":[21],"expressive":[22],"real-time":[23,56],"specifications":[24],"over":[25],"such":[26,64],"signals,":[27],"but":[28],"currently":[29],"comes":[30],"only":[31],"with":[32],"Boolean":[33],"semantics":[34,46],"and":[35,52,80,108,120],"has":[36],"no":[37],"tool":[38],"support.":[39],"We":[40,96],"provide":[41],"the":[42,50,59,118,126,133],"first":[43,134],"robustness-based":[44],"quantitative":[45,140],"for":[47,104,138],"SFO,":[48],"enabling":[49],"expression":[51],"evaluation":[53],"of":[54,61,78,115,122,128,142],"rich":[55],"properties":[57],"beyond":[58],"scope":[60],"existing":[62],"formalisms":[63],"as":[65],"Temporal":[67],"Logic.":[68],"To":[69,125],"enable":[70],"online":[71,139],"monitoring,":[72],"we":[73],"identify":[74],"past-time":[76,106],"fragment":[77,107],"SFO":[79,88],"give":[81],"pastification":[83],"procedure":[84],"that":[85],"transforms":[86],"bounded-response":[87],"formulas":[89,92],"into":[90],"equisatisfiable":[91],"in":[93],"this":[94,105,131],"fragment.":[95],"then":[97],"develop":[98],"an":[99],"efficient":[100],"runtime":[101],"algorithm":[103],"evaluate":[109],"performance":[111],"on":[112],"set":[114],"benchmarks,":[116],"demonstrating":[117],"practicality":[119],"effectiveness":[121],"our":[123,129],"approach.":[124],"best":[127],"knowledge,":[130],"is":[132],"publicly":[135],"available":[136],"prototype":[137],"full":[143],"SFO.":[144]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-03-02T00:00:00"}