{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T21:41:51Z","timestamp":1779313311324,"version":"3.51.4"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319105055","type":"print"},{"value":"9783319105062","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10506-2_3","type":"book-chapter","created":{"date-parts":[[2014,9,2]],"date-time":"2014-09-02T22:41:50Z","timestamp":1409697710000},"page":"33-48","source":"Crossref","is-referenced-by-count":13,"title":["Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search"],"prefix":"10.1007","author":[{"given":"Xueyi","family":"Zou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rob","family":"Alexander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"McDermid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Federal Aviation Administration, U.S. Department of Transportaion: Integration of Civil Unmanned Aircraft Systems (UAS) in the National Airspace System (NAS) Roadmap, 1st edn (2013)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/100.580977","volume":"4","author":"D. Fox","year":"1997","unstructured":"Fox, D., Burgard, W., Thrun, S.: The dynamic window approach to collision avoidance. IEEE Robotics & Automation Magazine\u00a04, 23\u201333 (1997)","journal-title":"IEEE Robotics & Automation Magazine"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1177\/027836499801700706","volume":"17","author":"P. Fiorini","year":"1998","unstructured":"Fiorini, P., Shiller, Z.: Motion planning in dynamic environments using velocity obstacles. The International Journal of Robotics Research\u00a017, 760\u2013772 (1998)","journal-title":"The International Journal of Robotics Research"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Jenie, Y.I., Van Kampen, E.-J., de Visser, C.C., Chu, Q.P.: Selective Velocity Obstacle Method for Cooperative Autonomous Collision Avoidance System for Unmanned Aerial Vehicles. In: AIAA Guidance, Navigation, and Control (GNC) Conference. American Institute of Aeronautics and Astronautics (2013)","DOI":"10.2514\/6.2013-4627"},{"key":"3_CR5","unstructured":"Kochenderfer, M.J., Chryssanthacopoulos, J.: Robust airborne collision avoidance through dynamic programming. Massachusetts Institute of Technology, Lincoln Laboratory, Project Report ATC-371 (2011)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Temizer, S., Kochenderfer, M.J., Kaelbling, L.P., Lozano-P\u00e9rez, T., Kuchar, J.K.: Collision avoidance for unmanned aircraft using Markov decision processes. In: AIAA Guidance, Navigation, and Control Conference. American Institute of Aeronautics and Astronautics (2010)","DOI":"10.2514\/6.2010-8040"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-40793-2_4","volume-title":"Computer Safety, Reliability, and Security","author":"J. Arnold","year":"2013","unstructured":"Arnold, J., Alexander, R.: Testing Autonomous Robot Control Software Using Procedural Content Generation. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP. LNCS, vol.\u00a08153, pp. 33\u201344. Springer, Heidelberg (2013)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P. McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: A survey. Software Testing, Verification and reliability\u00a014, 105\u2013156 (2004)","journal-title":"Software Testing, Verification and reliability"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Clegg, K., Alexander, R.: The discovery and quantification of risk in high dimensional search spaces. In: Proceeding of the Fifteenth Annual Conference Companion on Genetic and Evolutionary Computation Conference Companion, pp. 175\u2013176. ACM (2013)","DOI":"10.1145\/2464576.2464669"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Alam, S., Lokan, C., Abbass, H.: What can make an airspace unsafe? characterizing collision risk using multi-objective optimization. In: IEEE Congress on Evolutionary Computation, CEC, pp. 1\u20138 (2012)","DOI":"10.1109\/CEC.2012.6256168"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.trc.2013.05.010","volume":"35","author":"S. Alam","year":"2013","unstructured":"Alam, S., Lokan, C., Aldis, G., Barry, S., Butcher, R., Abbass, H.: Systemic identification of airspace collision risk tipping points using an evolutionary multi-objective scenario-based methodology. Transportation Research Part C: Emerging Technologies\u00a035, 57\u201384 (2013)","journal-title":"Transportation Research Part C: Emerging Technologies"},{"key":"3_CR12","unstructured":"Federal Aviation Administration: Federal Aviation Regulations (FAR) Chapter I, subchapter F Air Traffic and General Operating Rules, 91.113 Right-of-way rules: Except water operations (1989)"},{"key":"3_CR13","unstructured":"Federal Aviation Administration: JO 7110.65U, Air Traffic Control, Chapter 1: General. In: U.S. Department of Transportation (ed.) (2012)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Dubins, L.E.: On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents. American Journal of Mathematics, 497\u2013516 (1957)","DOI":"10.2307\/2372560"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1109\/21.286385","volume":"24","author":"M. Srinivas","year":"1994","unstructured":"Srinivas, M., Patnaik, L.M.: Adaptive probabilities of crossover and mutation in genetic algorithms. IEEE Transactions on Systems, Man and Cybernetics\u00a024, 656\u2013667 (1994)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10506-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T15:21:24Z","timestamp":1558970484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10506-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105055","9783319105062"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10506-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}