{"id":"https://openalex.org/W7170558397","doi":"https://doi.org/10.48550/arxiv.2607.20675","title":"Explanation-Based Runtime Verification for Trustworthy ML-driven Optical Networks","display_name":"Explanation-Based Runtime Verification for Trustworthy ML-driven Optical Networks","publication_year":2026,"publication_date":"2026-07-22","ids":{"openalex":"https://openalex.org/W7170558397","doi":"https://doi.org/10.48550/arxiv.2607.20675"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.20675","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.20675","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2607.20675","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026384166","display_name":"Omran Ayoub","orcid":"https://orcid.org/0000-0002-3884-3594"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ayoub, Omran","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5143556709","display_name":"Carlos Natalino","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Natalino, Carlos","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5143567238","display_name":"Ali Al Housseini","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Housseini, Ali Al","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113232082","display_name":"Felix Foschum","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Foschum, Felix","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5143583593","display_name":"Philipp Morger","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Morger, Philipp","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031382797","display_name":"Tiziano Leidi","orcid":"https://orcid.org/0000-0002-6335-7977"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Leidi, Tiziano","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135730217","display_name":"David Hock","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hock, David","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5143548304","display_name":"Paolo Monti","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Monti, Paolo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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/T12127","display_name":"Software System Performance and Reliability","score":0.3249000012874603,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.3249000012874603,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.20440000295639038,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10847","display_name":"Advanced Optical Network Technologies","score":0.10339999943971634,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/soundness","display_name":"Soundness","score":0.6208999752998352},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5796999931335449},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.5756000280380249},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5268999934196472},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.46160000562667847},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43290001153945923},{"id":"https://openalex.org/keywords/transparency","display_name":"Transparency (behavior)","score":0.42559999227523804},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.4205000102519989}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7268000245094299},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.6208999752998352},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5796999931335449},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5756000280380249},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5268999934196472},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.46160000562667847},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43290001153945923},{"id":"https://openalex.org/C2780233690","wikidata":"https://www.wikidata.org/wiki/Q535347","display_name":"Transparency (behavior)","level":2,"score":0.42559999227523804},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.4205000102519989},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.41290000081062317},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.3718999922275543},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.36309999227523804},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34310001134872437},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.3343999981880188},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.33079999685287476},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.31200000643730164},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3084999918937683},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.30399999022483826},{"id":"https://openalex.org/C2781181686","wikidata":"https://www.wikidata.org/wiki/Q4226068","display_name":"Coherence (philosophical gambling strategy)","level":2,"score":0.2978000044822693},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.2847999930381775},{"id":"https://openalex.org/C107327155","wikidata":"https://www.wikidata.org/wiki/Q330268","display_name":"Decision support system","level":2,"score":0.2782999873161316},{"id":"https://openalex.org/C2781018962","wikidata":"https://www.wikidata.org/wiki/Q5164884","display_name":"Container (type theory)","level":2,"score":0.26570001244544983},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.26440000534057617},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2574000060558319}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.20675","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.20675","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2607.20675","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.20675","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.6470523476600647,"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Machine":[0],"learning":[1],"(ML)":[2],"models":[3],"are":[4,142],"increasingly":[5],"integrated":[6],"into":[7,92],"optical":[8],"network":[9,47,146],"automation":[10,50,207],"frameworks":[11],"to":[12,73,85,106,132,164],"support":[13],"tasks":[14],"such":[15],"as":[16,170],"failure":[17],"management,":[18],"performance":[19],"monitoring":[20],"and":[21,46,110,155],"resource":[22,44],"allocation.":[23],"In":[24,83,118],"these":[25],"environments,":[26],"ML-driven":[27],"predictions":[28],"may":[29],"be":[30],"directly":[31],"coupled":[32],"with":[33],"control-plane":[34],"actions":[35],"where":[36],"incorrect":[37],"decisions":[38,58,139,168,203],"can":[39,196],"immediately":[40],"impact":[41],"service":[42],"quality,":[43],"efficiency,":[45],"stability.":[48],"As":[49],"levels":[51],"increase,":[52],"ensuring":[53],"the":[54,78,93,98,107,115,134,145,162,174],"reliability":[55],"of":[56,97,136,176,184,187,201],"individual":[57,137],"at":[59,159],"deployment":[60],"time":[61],"becomes":[62],"a":[63,180,198],"critical":[64],"requirement.":[65],"Explainable":[66],"artificial":[67],"intelligence":[68],"(XAI)":[69],"techniques":[70],"have":[71],"emerged":[72],"improve":[74],"transparency":[75],"by":[76],"highlighting":[77],"factors":[79],"influencing":[80],"ML":[81,138],"predictions.":[82],"addition":[84],"identifying":[86],"influential":[87],"features,":[88],"they":[89,141],"provide":[90],"insights":[91],"underlying":[94],"reasoning":[95],"process":[96],"model,":[99],"revealing":[100],"how":[101,111],"different":[102],"input":[103],"variables":[104],"contribute":[105],"final":[108],"outcome":[109],"feature":[112],"interactions":[113],"shape":[114],"decision":[116],"boundary.":[117],"this":[119],"work,":[120],"we":[121],"introduce":[122],"explanation-based":[123,194],"runtime":[124],"verification,":[125],"an":[126],"approach":[127,151,178],"that":[128,193],"exploits":[129],"model":[130],"explanations":[131],"assess":[133],"soundness":[135],"before":[140],"executed":[143],"in":[144],"control":[147],"loop.":[148],"The":[149],"proposed":[150],"evaluates":[152],"explanation":[153],"coherence":[154],"physics":[156],"grounding":[157],"consistency":[158],"runtime,":[160],"enabling":[161],"system":[163],"defer":[165],"or":[166],"reject":[167],"flagged":[169],"uncertain.":[171],"We":[172],"demonstrate":[173],"effectiveness":[175],"our":[177],"on":[179],"representative":[181],"use":[182],"case":[183],"lightpath":[185],"quality":[186],"transmission":[188],"classification.":[189],"Experimental":[190],"results":[191],"show":[192],"verification":[195],"intercept":[197],"significant":[199],"fraction":[200],"erroneous":[202],"while":[204],"preserving":[205],"high":[206],"rate.":[208]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-25T00:00:00"}