{"id":"https://openalex.org/W2100004363","doi":"https://doi.org/10.1109/wsc.2003.1261510","title":"Formal analysis of air traffic management systems: the case of conflict resolution and recovery","display_name":"Formal analysis of air traffic management systems: the case of conflict resolution and recovery","publication_year":2004,"publication_date":"2004-05-13","ids":{"openalex":"https://openalex.org/W2100004363","doi":"https://doi.org/10.1109/wsc.2003.1261510","mag":"2100004363"},"language":"en","primary_location":{"id":"doi:10.1109/wsc.2003.1261510","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wsc.2003.1261510","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693)","raw_type":"proceedings-article"},"type":"article","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/A5064290767","display_name":"Ricky W. Butler","orcid":null},"institutions":[{"id":"https://openalex.org/I1319063186","display_name":"Langley Research Center","ror":"https://ror.org/0399mhs52","country_code":"US","type":"facility","lineage":["https://openalex.org/I1319063186","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"R. Butler","raw_affiliation_strings":["Langley Research Center, NASA, Hampton, VA, USA"],"affiliations":[{"raw_affiliation_string":"Langley Research Center, NASA, Hampton, VA, USA","institution_ids":["https://openalex.org/I1319063186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065970128","display_name":"J. Maddalon","orcid":null},"institutions":[{"id":"https://openalex.org/I1319063186","display_name":"Langley Research Center","ror":"https://ror.org/0399mhs52","country_code":"US","type":"facility","lineage":["https://openalex.org/I1319063186","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Maddalon","raw_affiliation_strings":["Langley Research Center, NASA, Hampton, VA, USA"],"affiliations":[{"raw_affiliation_string":"Langley Research Center, NASA, Hampton, VA, USA","institution_ids":["https://openalex.org/I1319063186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111933891","display_name":"Alfons Geser","orcid":null},"institutions":[{"id":"https://openalex.org/I1329048335","display_name":"National Institute of Aerospace","ror":"https://ror.org/00fadxs59","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1329048335"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. Geser","raw_affiliation_strings":["National Institute of Aerospace Technology, Hampton, VA, USA"],"affiliations":[{"raw_affiliation_string":"National Institute of Aerospace Technology, Hampton, VA, USA","institution_ids":["https://openalex.org/I1329048335"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016058241","display_name":"C\u00e9sar Mu\u00f1oz","orcid":"https://orcid.org/0000-0003-3579-8254"},"institutions":[{"id":"https://openalex.org/I1329048335","display_name":"National Institute of Aerospace","ror":"https://ror.org/00fadxs59","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1329048335"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"C. Munoz","raw_affiliation_strings":["National Institute of Aerospace Technology, Hampton, VA, USA"],"affiliations":[{"raw_affiliation_string":"National Institute of Aerospace Technology, Hampton, VA, USA","institution_ids":["https://openalex.org/I1329048335"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5064290767"],"corresponding_institution_ids":["https://openalex.org/I1319063186"],"apc_list":null,"apc_paid":null,"fwci":19.5179,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.98780539,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"7","issue":null,"first_page":"906","last_page":"914"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11489","display_name":"Air Traffic Management and Optimization","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11489","display_name":"Air Traffic Management and Optimization","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10525","display_name":"Human-Automation Interaction and Safety","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/air-traffic-control","display_name":"Air traffic control","score":0.8361759185791016},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.823710560798645},{"id":"https://openalex.org/keywords/air-traffic-management","display_name":"Air traffic management","score":0.7173558473587036},{"id":"https://openalex.org/keywords/conflict-resolution","display_name":"Conflict resolution","score":0.6677228212356567},{"id":"https://openalex.org/keywords/aerospace","display_name":"Aerospace","score":0.6652355790138245},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6456819176673889},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.5714772343635559},{"id":"https://openalex.org/keywords/traffic-conflict","display_name":"Traffic conflict","score":0.5605030655860901},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4941730797290802},{"id":"https://openalex.org/keywords/separation","display_name":"Separation (statistics)","score":0.4866788983345032},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4711008667945862},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.4450311064720154},{"id":"https://openalex.org/keywords/separation-of-concerns","display_name":"Separation of concerns","score":0.43368959426879883},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4096619486808777},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.3710651993751526},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.35162192583084106},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2336764931678772},{"id":"https://openalex.org/keywords/transport-engineering","display_name":"Transport engineering","score":0.21642041206359863},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.21165603399276733},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14248386025428772},{"id":"https://openalex.org/keywords/floating-car-data","display_name":"Floating car data","score":0.1361839771270752},{"id":"https://openalex.org/keywords/traffic-congestion","display_name":"Traffic congestion","score":0.12265440821647644}],"concepts":[{"id":"https://openalex.org/C166961238","wikidata":"https://www.wikidata.org/wiki/Q221395","display_name":"Air traffic control","level":2,"score":0.8361759185791016},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.823710560798645},{"id":"https://openalex.org/C2776777543","wikidata":"https://www.wikidata.org/wiki/Q1361182","display_name":"Air traffic management","level":3,"score":0.7173558473587036},{"id":"https://openalex.org/C21711469","wikidata":"https://www.wikidata.org/wiki/Q1194317","display_name":"Conflict resolution","level":2,"score":0.6677228212356567},{"id":"https://openalex.org/C167740415","wikidata":"https://www.wikidata.org/wiki/Q2876213","display_name":"Aerospace","level":2,"score":0.6652355790138245},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6456819176673889},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.5714772343635559},{"id":"https://openalex.org/C178944661","wikidata":"https://www.wikidata.org/wiki/Q7832489","display_name":"Traffic conflict","level":4,"score":0.5605030655860901},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4941730797290802},{"id":"https://openalex.org/C2776061190","wikidata":"https://www.wikidata.org/wiki/Q7451805","display_name":"Separation (statistics)","level":2,"score":0.4866788983345032},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4711008667945862},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.4450311064720154},{"id":"https://openalex.org/C76214141","wikidata":"https://www.wikidata.org/wiki/Q2465506","display_name":"Separation of concerns","level":3,"score":0.43368959426879883},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4096619486808777},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3710651993751526},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.35162192583084106},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2336764931678772},{"id":"https://openalex.org/C22212356","wikidata":"https://www.wikidata.org/wiki/Q775325","display_name":"Transport engineering","level":1,"score":0.21642041206359863},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.21165603399276733},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14248386025428772},{"id":"https://openalex.org/C64093975","wikidata":"https://www.wikidata.org/wiki/Q356677","display_name":"Floating car data","level":3,"score":0.1361839771270752},{"id":"https://openalex.org/C2779888511","wikidata":"https://www.wikidata.org/wiki/Q244156","display_name":"Traffic congestion","level":2,"score":0.12265440821647644},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/wsc.2003.1261510","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wsc.2003.1261510","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.76.8682","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.8682","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://research.nianet.org/~munoz/Papers/wsc03.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W64442646","https://openalex.org/W1503961216","https://openalex.org/W1534850143","https://openalex.org/W1571689776","https://openalex.org/W1580740506","https://openalex.org/W1596760374","https://openalex.org/W2010927613","https://openalex.org/W2011490168","https://openalex.org/W2100757338","https://openalex.org/W2115946547","https://openalex.org/W2124497430","https://openalex.org/W2130519480","https://openalex.org/W2131247450","https://openalex.org/W2144274003","https://openalex.org/W2158043148","https://openalex.org/W2328424182","https://openalex.org/W2736486061","https://openalex.org/W4300903952","https://openalex.org/W6602552557","https://openalex.org/W6630193346","https://openalex.org/W6681463328","https://openalex.org/W6845187959","https://openalex.org/W7007926366","https://openalex.org/W7015454453"],"related_works":["https://openalex.org/W1544976691","https://openalex.org/W2978816602","https://openalex.org/W2552381231","https://openalex.org/W2199167515","https://openalex.org/W4236732422","https://openalex.org/W4248387524","https://openalex.org/W39645217","https://openalex.org/W2740060042","https://openalex.org/W3213161835","https://openalex.org/W2100004363"],"abstract_inverted_index":{"New":[0],"air":[1,48,127],"traffic":[2,9,49,128],"management":[3],"concepts":[4,23],"distribute":[5],"the":[6,12,16,25,32,41,76,96,106,120],"responsibility":[7],"for":[8,56,95,126],"separation":[10],"among":[11],"several":[13],"actors":[14],"of":[15,40,44,78,99,108,115,123],"aerospace":[17],"system.":[18],"As":[19,111],"a":[20,86,92,112],"consequence,":[21],"these":[22],"move":[24],"safety":[26,57,97],"risk":[27],"from":[28],"human":[29],"controllers":[30],"to":[31,84],"on-board":[33],"software":[34],"and":[35,52,64,131],"hardware":[36],"systems.":[37,110],"One":[38],"example":[39],"new":[42],"kind":[43],"distributed":[45,74],"systems":[46,101],"is":[47,81],"conflict":[50,129],"detection":[51],"resolution.":[53],"Traditional":[54],"methods":[55,104],"analysis":[58,98],"such":[59],"as":[60],"human-in-the-loop":[61],"simulations,":[62],"testing,":[63],"flight":[65],"experiments":[66],"may":[67],"not":[68],"be":[69],"sufficient":[70],"in":[71],"this":[72,116],"highly":[73],"system:":[75],"set":[77],"possible":[79],"scenarios":[80],"too":[82],"large":[83],"have":[85],"reasonable":[87],"coverage.":[88],"This":[89],"paper":[90],"proposes":[91],"paradigm":[93],"shift":[94],"avionics":[100],"where":[102],"formal":[103],"drive":[105],"development":[107],"critical":[109],"case":[113],"study":[114],"approach,":[117],"we":[118],"report":[119],"mechanical":[121],"verification":[122],"an":[124],"algorithm":[125],"resolution":[130],"recovery.":[132]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}