{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:20Z","timestamp":1725487100060},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540734437"},{"type":"electronic","value":"9783540734451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73445-1_13","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T06:32:08Z","timestamp":1183444328000},"page":"177-188","source":"Crossref","is-referenced-by-count":30,"title":["Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm"],"prefix":"10.1007","author":[{"given":"Andr\u00e9 L.","family":"Galdino","sequence":"first","affiliation":[]},{"given":"C\u00e9sar","family":"Mu\u00f1oz","sequence":"additional","affiliation":[]},{"given":"Mauricio","family":"Ayala-Rinc\u00f3n","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Bilimoria, K.: A geometric optimization approach to aircraft conflict resolution. In: Guidance, Navigation, and Control Conference, vol. AIAA 2000-4265, Denver, CO (August 2000)","DOI":"10.2514\/6.2000-4265"},{"key":"13_CR2","unstructured":"Dowek, G., Geser, A., Mu\u00f1oz, C.: Tactical conflict detection and resolution in a 3-D airspace. In: Proceedings of the 4th USA\/Europe Air Traffic Management R&DSeminar, ATM 2001, Santa Fe, New Mexico, 2001. A long version appears as report NASA\/CR-2001-210853 ICASE Report No. 2001-7 (2001)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Dowek, G., Mu\u00f1oz, C., Carre\u00f1o, V.: Provably safe coordinated strategy for distributed conflict resolution. In: Dowek, G. (ed.) Proceedings of the AIAA Guidance Navigation, and Control Conference and Exhibit 2005, San Francisco, California, AIAA-2005-6047 (2005)","DOI":"10.2514\/6.2005-6047"},{"key":"13_CR4","unstructured":"Geser, A., Mu\u00f1oz, C., Dowek, G., Kirchner, F.: Air Traffic Conflict Resolution and Recovery. ICASE Report 2002-12, ICASE, Langley Research Center (2002)"},{"key":"13_CR5","unstructured":"Hoekstra, J., Ruigrok, R., van Gent, R., Visser, J., Gijsbers, B., Valenti, M., Heesbeen, W., Hilburn, B., Groeneweg, J., Bussink, F.: Overview of NLR free flight project 1997-1999. Technical Report NLR-CR-2000-227, National Aerospace Laboratory (NLR) (May 2000)"},{"key":"13_CR6","unstructured":"Kirchner, F.: Optimal unconstrained solution to conflict resolution in 3-d airspace. Manuscript (2001)"},{"issue":"4","key":"13_CR7","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1109\/6979.898217","volume":"1","author":"J. Kuchar","year":"2000","unstructured":"Kuchar, J., Yang, L.: A review of conflict detection and resolution modeling methods. IEEE Transactions on Intelligent Transportation Systems\u00a01(4), 179\u2013189 (2000)","journal-title":"IEEE Transactions on Intelligent Transportation Systems"},{"key":"13_CR8","unstructured":"Maddalon, J., Butler, R., Geser, A., Mu\u00f1oz, C.: Formal verification of a conflict resolution and recovery algorithm. Technical Report NASA\/TP-2004-213015, NASA Langley Research Center, NASA LaRC, Hampton VA 23681-2199, USA (April 2004)"},{"key":"13_CR9","unstructured":"Mu\u00f1oz, C., Mayero, M.: Real automation in the field. ICASE Interim Report 39 NASA\/CR-2001-211271, NASA Langley Research Center, NASA Langley Research Center (December 2001)"},{"key":"13_CR10","unstructured":"NASA: Concept definition for Distributed Air\/Ground Traffic Management (DAG-TM), version 1.0. Advanced Air Transportation Technologies (AATT) Project. NASA Ames and Langley Research Centers (1999)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"Automated Deduction - CADE-11","author":"S. Owre","year":"1992","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: A Prototype Verification System. In: Kapur, D. (ed.) Automated Deduction - CADE-11. LNCS, vol.\u00a0607, pp. 748\u2013752. Springer, Heidelberg (1992)"},{"key":"13_CR12","unstructured":"RTCA: Final report of the RTCA board of directors\u2019 select committee on free flight. Technical Report Issued 1-18-95, RTCA, Washington, DC (1995)"},{"key":"13_CR13","unstructured":"Di Vito, B.L.: Manip User\u2019s Guide, Version 1.1. NASA Langley Research Center, Hampton, Virginia (February 18, 2003)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73445-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T06:05:06Z","timestamp":1547877906000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73445-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540734437","9783540734451"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73445-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}