{"id":"https://openalex.org/W7080224600","doi":"https://doi.org/10.1109/infocom55648.2025.11044748","title":"Distributed Optimization of Age of Incorrect Information with Dynamic Epistemic Logic","display_name":"Distributed Optimization of Age of Incorrect Information with Dynamic Epistemic Logic","publication_year":2025,"publication_date":"2025-05-19","ids":{"openalex":"https://openalex.org/W7080224600","doi":"https://doi.org/10.1109/infocom55648.2025.11044748"},"language":"en","primary_location":{"id":"doi:10.1109/infocom55648.2025.11044748","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom55648.2025.11044748","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE INFOCOM 2025 - IEEE Conference on Computer Communications","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://vbn.aau.dk/da/publications/cee89e3e-bf60-479f-9040-36c2b05d1a90","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Federico Chiariotti","orcid":null},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Federico Chiariotti","raw_affiliation_strings":["University of Padova,Department of Information Engineering,Padua,Italy,35131"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Padova,Department of Information Engineering,Padua,Italy,35131","institution_ids":["https://openalex.org/I138689650"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Andrea Munari","orcid":null},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]},{"id":"https://openalex.org/I4210161360","display_name":"Institute of Navigation","ror":"https://ror.org/05rmpy443","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210161360"]}],"countries":["DE","US"],"is_corresponding":false,"raw_author_name":"Andrea Munari","raw_affiliation_strings":["Institute of Communications and Navigation, German Aerospace Center (DLR),WeBling,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Communications and Navigation, German Aerospace Center (DLR),WeBling,Germany","institution_ids":["https://openalex.org/I2898391981","https://openalex.org/I4210161360"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Leonardo Badia","orcid":null},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Leonardo Badia","raw_affiliation_strings":["University of Padova,Department of Information Engineering,Padua,Italy,35131"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Padova,Department of Information Engineering,Padua,Italy,35131","institution_ids":["https://openalex.org/I138689650"]}]},{"author_position":"last","author":{"id":null,"display_name":"Petar Popovski","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Petar Popovski","raw_affiliation_strings":["Aalborg University,Department of Electronic Systems,Aalborg,Denmark,9220"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aalborg University,Department of Electronic Systems,Aalborg,Denmark,9220","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.6425999999046326,"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/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.6425999999046326,"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/T13067","display_name":"Geological Modeling and Analysis","score":0.02630000002682209,"subfield":{"id":"https://openalex.org/subfields/1906","display_name":"Geochemistry and Petrology"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14311","display_name":"Electrical and Electromagnetic Research","score":0.020999999716877937,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6718000173568726},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5579000115394592},{"id":"https://openalex.org/keywords/tracking","display_name":"Tracking (education)","score":0.5113000273704529},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.510200023651123},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.48010000586509705},{"id":"https://openalex.org/keywords/monte-carlo-method","display_name":"Monte Carlo method","score":0.46639999747276306},{"id":"https://openalex.org/keywords/anomaly-detection","display_name":"Anomaly detection","score":0.4537999927997589},{"id":"https://openalex.org/keywords/transmission","display_name":"Transmission (telecommunications)","score":0.3799999952316284}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6765000224113464},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6718000173568726},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5579000115394592},{"id":"https://openalex.org/C2775936607","wikidata":"https://www.wikidata.org/wiki/Q466845","display_name":"Tracking (education)","level":2,"score":0.5113000273704529},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.510200023651123},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.48010000586509705},{"id":"https://openalex.org/C19499675","wikidata":"https://www.wikidata.org/wiki/Q232207","display_name":"Monte Carlo method","level":2,"score":0.46639999747276306},{"id":"https://openalex.org/C739882","wikidata":"https://www.wikidata.org/wiki/Q3560506","display_name":"Anomaly detection","level":2,"score":0.4537999927997589},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38190001249313354},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.3799999952316284},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.37630000710487366},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.37070000171661377},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.35030001401901245},{"id":"https://openalex.org/C12997251","wikidata":"https://www.wikidata.org/wiki/Q567560","display_name":"Anomaly (physics)","level":2,"score":0.3481999933719635},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.34360000491142273},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.3337000012397766},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.31940001249313354},{"id":"https://openalex.org/C2983568541","wikidata":"https://www.wikidata.org/wiki/Q389772","display_name":"Information transmission","level":2,"score":0.31139999628067017},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.2793000042438507},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.27570000290870667},{"id":"https://openalex.org/C2778334786","wikidata":"https://www.wikidata.org/wiki/Q1586270","display_name":"Variation (astronomy)","level":2,"score":0.27480000257492065},{"id":"https://openalex.org/C2779201187","wikidata":"https://www.wikidata.org/wiki/Q2775060","display_name":"Information leakage","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C13540734","wikidata":"https://www.wikidata.org/wiki/Q5318996","display_name":"Dynamic network analysis","level":2,"score":0.251800000667572}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/infocom55648.2025.11044748","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom55648.2025.11044748","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE INFOCOM 2025 - IEEE Conference on Computer Communications","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:openaire/cee89e3e-bf60-479f-9040-36c2b05d1a90","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/cee89e3e-bf60-479f-9040-36c2b05d1a90","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Chiariotti, F, Munari, A, Badia, L & Popovski, P 2025, Distributed Optimization of Age of Incorrect Information with Dynamic Epistemic Logic. in IEEE INFOCOM 2025 - IEEE Conference on Computer Communications., 11044748, IEEE (Institute of Electrical and Electronics Engineers), IEEE Infocom. Proceedings, 2025 IEEE International Conference on Computer Communications, London, United Kingdom, 19/05/2025. https://doi.org/10.1109/INFOCOM55648.2025.11044748","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:elib.dlr.de:211708","is_oa":true,"landing_page_url":null,"pdf_url":"https://elib.dlr.de/211708/1/AoII_with_epistemic_logic.pdf","source":{"id":"https://openalex.org/S4377196266","display_name":"elib (German Aerospace Center)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2898391981","host_organization_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","host_organization_lineage":["https://openalex.org/I2898391981"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Konferenzbeitrag"},{"id":"pmh:oai:www.research.unipd.it:11577/3559838","is_oa":false,"landing_page_url":"https://hdl.handle.net/11577/3559838","pdf_url":null,"source":{"id":"https://openalex.org/S4306402547","display_name":"Padua Research Archive (University of Padova)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I138689650","host_organization_name":"University of Padua","host_organization_lineage":["https://openalex.org/I138689650"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire/cee89e3e-bf60-479f-9040-36c2b05d1a90","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/cee89e3e-bf60-479f-9040-36c2b05d1a90","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Chiariotti, F, Munari, A, Badia, L & Popovski, P 2025, Distributed Optimization of Age of Incorrect Information with Dynamic Epistemic Logic. in IEEE INFOCOM 2025 - IEEE Conference on Computer Communications., 11044748, IEEE (Institute of Electrical and Electronics Engineers), IEEE Infocom. Proceedings, 2025 IEEE International Conference on Computer Communications, London, United Kingdom, 19/05/2025. https://doi.org/10.1109/INFOCOM55648.2025.11044748","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6177685260772705}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Distributed":[0],"medium":[1,52],"access":[2,53],"schemes":[3,193],"have":[4],"a":[5,51,71,83,167],"key":[6],"advantage":[7],"in":[8,61],"anomaly":[9,62],"tracking":[10,112],"applications,":[11],"as":[12,148],"individual":[13,91,128],"sensors":[14],"know":[15],"their":[16,25,40,133],"own":[17],"observations":[18],"and":[19,58,153,170,183],"can":[20,104],"exploit":[21],"them":[22],"to":[23,99,130],"reduce":[24],"Age":[26,78],"of":[27,34,73,79,156],"Incorrect":[28],"Information":[29,80],"(AoII).":[30],"However,":[31],"the":[32,90,113,140,149,154,161],"risk":[33],"collisions":[35,57],"has":[36],"so":[37],"far":[38],"limited":[39],"performance.":[41],"We":[42,159],"present":[43],"Dynamic":[44],"Epistemic":[45],"Logic":[46],"for":[47,93],"Tracking":[48],"Anomalies":[49],"(DELTA),":[50],"protocol":[54,164],"that":[55,176],"limits":[56],"minimizes":[59],"AoII":[60,75,92],"reporting":[63],"over":[64],"dense":[65],"networks.":[66],"This":[67],"is":[68,96,179],"achieved":[69],"by":[70,110,143,194],"process":[72],"inferring":[74],"from":[76,166],"plain":[77],"(AoI).":[81],"In":[82],"network":[84,142],"scenario":[85],"with":[86,171],"randomly":[87],"generated":[88],"anomalies,":[89],"each":[94],"sensor":[95],"known":[97],"only":[98],"itself,":[100],"but":[101],"all":[102],"nodes":[103,129],"infer":[105,131],"its":[106],"<tex":[107,134,150],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[108,135,151],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$A$</tex>oI":[109,152],"simply":[111],"transmission":[114],"process.":[115],"Thus,":[116],"we":[117],"adopt":[118],"an":[119],"approach":[120,178],"based":[121],"on":[122],"dynamic":[123],"epistemic":[124],"logic,":[125],"which":[126],"allows":[127],"how":[132],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$A$</tex>oII":[136],"values":[137],"rank":[138],"among":[139],"entire":[141],"exploiting":[144],"public":[145],"information":[146],"such":[147],"identity":[155],"transmitting":[157],"nodes.":[158],"analyze":[160],"resulting":[162],"DELTA":[163],"both":[165],"theoretical":[168],"standpoint":[169],"Monte":[172],"Carlo":[173],"simulation,":[174],"showing":[175],"our":[177],"significantly":[180],"more":[181],"efficient":[182],"robust":[184],"than":[185],"basic":[186],"random":[187],"access,":[188],"while":[189],"outperforming":[190],"state-of-the-art":[191],"scheduled":[192],"at":[195],"least":[196],"30%.":[197]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}