{"id":"https://openalex.org/W4415124263","doi":"https://doi.org/10.1109/icnp65844.2025.11192328","title":"Guided Exploration of Control-Plane Routing States","display_name":"Guided Exploration of Control-Plane Routing States","publication_year":2025,"publication_date":"2025-09-22","ids":{"openalex":"https://openalex.org/W4415124263","doi":"https://doi.org/10.1109/icnp65844.2025.11192328"},"language":"en","primary_location":{"id":"doi:10.1109/icnp65844.2025.11192328","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icnp65844.2025.11192328","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 33rd International Conference on Network Protocols (ICNP)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056751521","display_name":"Tibor Schneider","orcid":"https://orcid.org/0000-0003-2858-9120"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tibor Schneider","raw_affiliation_strings":["ETH Zürich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zürich","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119586855","display_name":"Jean M\u00e9gret","orcid":"https://orcid.org/0000-0002-2608-1684"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jean M\u00e9gret","raw_affiliation_strings":["ETH Zürich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zürich","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070110259","display_name":"Laurent Vanbever","orcid":"https://orcid.org/0000-0003-1455-4381"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Laurent Vanbever","raw_affiliation_strings":["ETH Zürich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zürich","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.403,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.8430958,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.4302000105381012,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.4302000105381012,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T14420","display_name":"Advanced Research in Systems and Signal Processing","score":0.4260999858379364,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/scalability","display_name":"Scalability","score":0.6807000041007996},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.6743000149726868},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6233000159263611},{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.578499972820282},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5174000263214111},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.48660001158714294},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.4772999882698059}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6995999813079834},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6807000041007996},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.6743000149726868},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6233000159263611},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.578499972820282},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5174000263214111},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.48660001158714294},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.4772999882698059},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43779999017715454},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4259999990463257},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.314300000667572},{"id":"https://openalex.org/C204948658","wikidata":"https://www.wikidata.org/wiki/Q1119410","display_name":"Static routing","level":4,"score":0.31310001015663147},{"id":"https://openalex.org/C2984173633","wikidata":"https://www.wikidata.org/wiki/Q22725","display_name":"Routing algorithm","level":4,"score":0.3073999881744385},{"id":"https://openalex.org/C104060986","wikidata":"https://www.wikidata.org/wiki/Q180046","display_name":"Space exploration","level":2,"score":0.2994999885559082},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.26739999651908875},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.25529998540878296}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icnp65844.2025.11192328","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icnp65844.2025.11192328","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 33rd International Conference on Network Protocols (ICNP)","raw_type":"proceedings-article"},{"id":"pmh:doi:10.3929/ethz-c-000783996","is_oa":false,"landing_page_url":"http://hdl.handle.net/20.500.11850/783996","pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1977543579","https://openalex.org/W2012299948","https://openalex.org/W2035951900","https://openalex.org/W2100415265","https://openalex.org/W2115526539","https://openalex.org/W2117165653","https://openalex.org/W2118404561","https://openalex.org/W2130210899","https://openalex.org/W2142065670","https://openalex.org/W2147148915","https://openalex.org/W2153266595","https://openalex.org/W2485543941","https://openalex.org/W2578336960","https://openalex.org/W2742515467","https://openalex.org/W2810860137","https://openalex.org/W2816958343","https://openalex.org/W2886871040","https://openalex.org/W2913846715","https://openalex.org/W2965009362","https://openalex.org/W3033341886","https://openalex.org/W3034033750","https://openalex.org/W3046676529","https://openalex.org/W3144630859","https://openalex.org/W3187890719","https://openalex.org/W3190656508","https://openalex.org/W3195307784","https://openalex.org/W4290991530","https://openalex.org/W4364387774","https://openalex.org/W4386349982","https://openalex.org/W4386385142","https://openalex.org/W4386385177","https://openalex.org/W4391759861","https://openalex.org/W4394661176","https://openalex.org/W4401176598","https://openalex.org/W4401176809","https://openalex.org/W4411853347"],"related_works":[],"abstract_inverted_index":{"In":[0],"recent":[1],"years,":[2],"significant":[3],"progress":[4],"has":[5],"been":[6],"made":[7],"towards":[8],"scalable":[9],"network":[10],"control-plane":[11,112],"verification.":[12,113],"Yet,":[13],"operators":[14,36,49],"are":[15,98],"still":[16],"hesitant":[17],"to":[18,31,66,83,93,127,138,143,167],"deploy":[19],"such":[20],"systems.":[21],"We":[22],"argue":[23],"that":[24,70,88,97],"this":[25,103],"reluctance":[26],"is":[27],"in":[28,53],"part":[29],"due":[30],"a":[32,107,123],"semantic":[33,75],"gap":[34,76],"between":[35],"reasoning":[37],"about":[38],"routing":[39,58,86,133],"states":[40,87,96],"and":[41,146],"verifiers":[42,61],"exploring":[43],"the":[44,51,72,90,130,140,144,154],"space":[45,131],"of":[46,55,57,115,132,170],"environments.":[47],"Indeed,":[48],"express":[50],"specification":[52,145],"terms":[54],"behavior":[56],"states,":[59],"while":[60],"usually":[62],"rely":[63],"on":[64,117],"solvers":[65,82],"find":[67],"specific":[68],"environments":[69],"violate":[71,89],"specification.":[73],"This":[74,135,151],"prevents":[77],"users":[78,137],"from":[79,149,161],"guiding":[80],"these":[81],"directly":[84,128],"explore":[85,129],"specification,":[91],"or":[92,101],"search":[94],"for":[95,110,156],"most":[99],"relevant":[100,163],"likely.In":[102],"paper,":[104],"we":[105,121],"present":[106],"new":[108],"approach":[109],"flexible":[111],"Instead":[114],"relying":[116],"rigid":[118],"off-the-shelf":[119],"solvers,":[120],"design":[122],"novel":[124,157],"backtracking":[125],"algorithm":[126,152],"states.":[134],"enables":[136],"guide":[139],"exploration":[141],"according":[142],"domain-specific":[147],"knowledge":[148],"operators.":[150],"paves":[153],"way":[155],"use":[158],"cases,":[159],"ranging":[160],"finding":[162],"(e.g.,":[164],"likely)":[165],"counterexamples":[166],"performing":[168],"verification":[169],"probabilistic":[171],"specifications.":[172]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2025-10-14T00:00:00"}