{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:40:33Z","timestamp":1729662033508,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wsc.2003.1261510","type":"proceedings-article","created":{"date-parts":[[2004,5,13]],"date-time":"2004-05-13T10:43:37Z","timestamp":1084445017000},"page":"906-914","source":"Crossref","is-referenced-by-count":3,"title":["Formal analysis of air traffic management systems: the case of conflict resolution and recovery"],"prefix":"10.1109","author":[{"given":"R.","family":"Butler","sequence":"first","affiliation":[]},{"given":"J.","family":"Maddalon","sequence":"additional","affiliation":[]},{"given":"A.","family":"Geser","sequence":"additional","affiliation":[]},{"given":"C.","family":"Munoz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Air traffic conflict resolution and recovery","author":"geser","year":"2002","journal-title":"Technical Report ICASE Report No 2002–12 NASA\/CR-2002–211637"},{"key":"ref11","article-title":"Optimal resolution of enroute conflicts","author":"granger","year":"2001","journal-title":"4th USA\/Europe Air Traffic Management R&D Seminar (ATM 2001)"},{"key":"ref12","article-title":"Overview of NLR free flight project 1997–1999","author":"hoekstra","year":"2000","journal-title":"Tech Report NLR-CR-2000–227"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898217"},{"key":"ref14","article-title":"Strategic airborne conflict detection of air traffic and area hazards","author":"mcdonald","year":"2000","journal-title":"Technical Report NASA Contract NAS2–98005 RTO-29"},{"journal-title":"Advanced Air Transportation Technologies (AATT) Project","article-title":"Concept definition for Distributed Air\/Ground Traffic Management (DAG-TM)","year":"1999","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55602-8_217"},{"journal-title":"Technical Report Issued 1–18–95","article-title":"Final report of the RTCA board of directors' select committee on free flight","year":"1995","key":"ref17"},{"key":"ref18","article-title":"Center\/TRACON automation system:. Development and evaluation in the field","author":"sanford","year":"1993","journal-title":"In 38th Annual Air Traffic Control Association Conference"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/9.664154"},{"key":"ref4","article-title":"Tactical conflict detection and resolution in 3-D airspace","author":"dowek","year":"2001","journal-title":"4th USA\/Europe Air Traffic Management R&D Seminar (ATM 2001)"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1109\/CDC.1997.657848","article-title":"Geometric algorithms for conflict detection\/resolution in air traffic management","author":"chiang","year":"1997","journal-title":"36th IEEE Decision Control Conf"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/331119.331195"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026507809196"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.2514\/2.4678"},{"key":"ref7","first-page":"239","article-title":"A self-organizational approach for resolving air traffic conflicts","volume":"7","author":"eby","year":"1994","journal-title":"Lincoln Laboratory Journal"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2514\/6.2002-4444"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2000-4265"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2002.1067985"},{"key":"ref20","article-title":"Airborne use of traffic intent information in a distributed air-ground traffic management concept: Experiment design and preliminary results","author":"wing","year":"2001","journal-title":"4th USA\/Europe Air Traffic Management R&D Seminar (ATM 2001)"}],"event":{"name":"2003 Winter Simulation Conference","acronym":"WSC-03","location":"New Orleans, LA, USA"},"container-title":["Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8912\/28195\/01261510.pdf?arnumber=1261510","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:02:34Z","timestamp":1497582154000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1261510\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/wsc.2003.1261510","relation":{},"subject":[]}}