{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,19]],"date-time":"2026-08-19T10:30:30Z","timestamp":1787135430471,"version":"3.56.0"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031999901","type":"print"},{"value":"9783031999918","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-99991-8_9","type":"book-chapter","created":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T05:35:50Z","timestamp":1761543350000},"page":"180-199","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Neural Network Verification for\u00a0Gliding Drone Control: A Case Study"],"prefix":"10.1007","author":[{"given":"Colin","family":"Kessler","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ekaterina","family":"Komendantskaya","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Casadio","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ignazio Maria","family":"Viola","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Flinkow","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Albaraa Ammar","family":"Othman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alistair","family":"Malhotra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robbie","family":"McPherson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,10,28]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","unstructured":"Abouheaf, M., Mailhot, N., Gueaieb, W.: An online reinforcement learning wing-tracking mechanism for flexible wing aircraft. In: 2019 IEEE International Symposium on Robotic and Sensors Environments (ROSE), pp.\u00a01\u20137 (2019). https:\/\/doi.org\/10.1109\/ROSE.2019.8790425","DOI":"10.1109\/ROSE.2019.8790425"},{"key":"9_CR2","unstructured":"Althoff, M., Kochdumper, N., Ladner, T., Wetzlinger, M.: Manual v2025 (2024). https:\/\/tumcps.github.io\/CORA\/data\/archive\/manual\/Cora2025Manual.pdf"},{"key":"9_CR3","doi-asserted-by":"publisher","unstructured":"Amer, K., Samy, M., Shaker, M., ElHelw, M.: Deep convolutional neural network based autonomous drone navigation. In: Proceedings of the Thirteenth International Conference on Machine Vision, vol. 11605, p. 1160503 (2021). https:\/\/doi.org\/10.1117\/12.2587105","DOI":"10.1117\/12.2587105"},{"issue":"3","key":"9_CR4","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/S0022-5193(87)80001-2","volume":"129","author":"A Azuma","year":"1987","unstructured":"Azuma, A., Okuno, Y.: Flight of a samara, alsomitra macrocarpa. J. Theor. Biol. 129(3), 263\u2013274 (1987). https:\/\/doi.org\/10.1016\/S0022-5193(87)80001-2","journal-title":"J. Theor. Biol."},{"key":"9_CR5","unstructured":"Brix, C., Bak, S., Johnson, T.T., Wu, H.: The 5th international verification of neural networks competition (vnn-comp 2024): summary and results (2024). https:\/\/www.arxiv.org\/pdf\/2412.19985"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Casadio, M., et al.: Neural network robustness as a verification property: a principled case study. Comput. Aided Verif. 219\u2013231 (2022)","DOI":"10.1007\/978-3-031-13185-1_11"},{"key":"9_CR7","unstructured":"Certini, D.: The flight of Alsomitra macrocarpa. Phd thesis, University of Edinburgh (2023)"},{"key":"9_CR8","unstructured":"Cordeiro, L.C., et al.: Neural network verification is a programming language challenge (2025). https:\/\/arxiv.org\/abs\/2501.05867"},{"key":"9_CR9","doi-asserted-by":"publisher","unstructured":"Cummins, C., et al.: A separated vortex ring underlies the flight of the dandelion. Nature 562, 414\u2013418 (2018). https:\/\/doi.org\/10.1038\/s41586-018-0604-2","DOI":"10.1038\/s41586-018-0604-2"},{"key":"9_CR10","unstructured":"Daggitt, M., et al.: A vehicle tutorial (2024). https:\/\/vehicle-lang.github.io\/tutorial\/"},{"key":"9_CR11","unstructured":"ERC: A dandelion-inspired drone for swarm sensing. https:\/\/cordis.europa.eu\/project\/id\/101001499"},{"key":"9_CR12","unstructured":"Fischer, M., Balunovi\u0107, M., Drachsler-Cohen, D., Gehr, T., Zhang, C., Vechev, M.: DL2: training and querying neural networks with logic. In: International Conference on Machine Learning (2019)"},{"key":"9_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2025.103280","volume":"244","author":"T Flinkow","year":"2025","unstructured":"Flinkow, T., Pearlmutter, B.A., Monahan, R.: Comparing differentiable logics for learning with logical constraints. Sci. Comput. Program. 244, 103280 (2025). https:\/\/doi.org\/10.1016\/j.scico.2025.103280","journal-title":"Sci. Comput. Program."},{"key":"9_CR14","unstructured":"Frehse, G., Althoff, M.: Arch-comp24: volume information proceedings of the 11th international workshop on applied verification for continuous and hybrid systems. EPiC Ser. Comput. 103 (2024). https:\/\/easychair.org\/publications\/volume\/ARCH-COMP24"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1038\/s41586-021-04363-9","volume":"603","author":"V Iyer","year":"2022","unstructured":"Iyer, V., Gaensbauer, H., Daniel, T.L., Gollakota, S.: Wind dispersal of battery-free wireless devices. Nature 603, 427\u2013433 (2022)","journal-title":"Nature"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Li, J., Yang, Q., Fan, B., Sun, Y.: Robust state\/output-feedback control of coaxial-rotor MAVs based on adaptive NN approach (2019). https:\/\/ieeexplore.ieee.org\/document\/8715436","DOI":"10.1109\/TNNLS.2019.2911649"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Johnson, K., et al.: Solar-powered shape-changing origami microfliers. Sci. Robot. 8(82) (2023). https:\/\/www.science.org\/doi\/abs\/10.1126\/scirobotics.adg4276","DOI":"10.1126\/scirobotics.adg4276"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Katz, G., Barrett, C., Dill, D., Julian, K., Kochenderfer, M.: Reluplex: an efficient SMT solver for verifying deep neural networks (2017). https:\/\/arxiv.org\/abs\/1702.01135","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Katz, G., et al.: The marabou framework for verification and analysis of deep neural networks, pp. 443\u2013452 (2019)","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"9_CR20","doi-asserted-by":"publisher","unstructured":"Kim, B.H., et al.: Three-dimensional electronic microfliers inspired by wind-dispersed seeds. Nature (2021). https:\/\/doi.org\/10.1038\/s41586-021-03847-y","DOI":"10.1038\/s41586-021-03847-y"},{"key":"9_CR21","unstructured":"Kolter, Z., Madry, A.: Adversarial robustness\u2014theory and practice. NeurIPS 2018 tutorial (2018). https:\/\/adversarial-ml-tutorial.org\/"},{"key":"9_CR22","unstructured":"Lemesle, A., Lehmann, J., Le\u00a0Gall, T.: Neural network verification with pyrat (2024). https:\/\/arxiv.org\/abs\/2410.23903"},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"A6","DOI":"10.1017\/jfm.2022.89","volume":"937","author":"H Li","year":"2022","unstructured":"Li, H., Goodwill, T., Jane Wang, Z., Ristroph, L.: Centre of mass location, flight modes, stability and dynamic modelling of gliders. J. Fluid Mech. 937, A6 (2022). https:\/\/doi.org\/10.1017\/jfm.2022.89","journal-title":"J. Fluid Mech."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Lopez, D.M., et al.: Arch-comp24 category report: artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants. EPiC Ser. Comput. 103, 64\u2013121 (2024). https:\/\/easychair.org\/publications\/paper\/WsgX","DOI":"10.29007\/mxld"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Lumini, M.: Pherodrone1.0: an innovative inflatable UAV\u2019s concept, inspired by zanonia macrocarpa\u2019s samara flying-wing and to insect\u2019s sensillae, designed for the biological control of harmful insects in pa (precision agriculture). Bionics and Sustainable Design (2022)","DOI":"10.1007\/978-981-19-1812-4_9"},{"key":"9_CR26","unstructured":"M\u00fcller, M.N., et al.: Eran (2025). https:\/\/github.com\/eth-sri\/eran"},{"issue":"5","key":"9_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/LSENS.2023.3271988","volume":"7","author":"K Oshima","year":"2023","unstructured":"Oshima, K., Kuribara, K., Sato, T.: Flex-snn: spiking neural network on flexible substrate. IEEE Sens. Lett. 7(5), 1\u20134 (2023)","journal-title":"IEEE Sens. Lett."},{"key":"9_CR28","doi-asserted-by":"publisher","unstructured":"Platzer, A.: Logical Foundations of Cyber-Physical Systems. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-63588-0","DOI":"10.1007\/978-3-319-63588-0"},{"key":"9_CR29","doi-asserted-by":"publisher","first-page":"91073","DOI":"10.1109\/ACCESS.2022.3202208","volume":"10","author":"S Qamar","year":"2022","unstructured":"Qamar, S., Khan, S.H., Arshad, M.A., Qamar, M., Gwak, J., Khan, A.: Autonomous drone swarm navigation and multitarget tracking with island policy-based optimization framework. IEEE Access 10, 91073\u201391091 (2022). https:\/\/doi.org\/10.1109\/ACCESS.2022.3202208","journal-title":"IEEE Access"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"103026","DOI":"10.1109\/ACCESS.2024.3433540","volume":"12","author":"DJ Richter","year":"2024","unstructured":"Richter, D.J., Calix, R.A., Kim, K.: A review of reinforcement learning for fixed-wing aircraft control tasks. IEEE Access 12, 103026\u2013103048 (2024). https:\/\/doi.org\/10.1109\/ACCESS.2024.3433540","journal-title":"IEEE Access"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Singaraju, S.A., Weller, D.D., Gspann, T.S., Aghassi-Hagmann, J., Tahoori, M.B.: Artificial neurons on flexible substrates: a fully printed approach for neuromorphic sensing. Sensors 22 (2022)","DOI":"10.3390\/s22114000"},{"key":"9_CR32","doi-asserted-by":"publisher","first-page":"18","DOI":"10.3390\/aerospace8010018","volume":"8","author":"D Wada","year":"2021","unstructured":"Wada, D., Araujo-Estrada, S.A., Windsor, S.: Unmanned aerial vehicle pitch control using deep reinforcement learning with discrete actions in wind tunnel test. Aerospace 8, 18 (2021). https:\/\/doi.org\/10.3390\/aerospace8010018","journal-title":"Aerospace"},{"issue":"3","key":"9_CR33","doi-asserted-by":"publisher","first-page":"994","DOI":"10.1109\/TCAD.2023.3331215","volume":"43","author":"Y Wang","year":"2024","unstructured":"Wang, Y., et al.: Polar-express: efficient and precise formal reachability analysis of neural-network controlled systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(3), 994\u20131007 (2024). https:\/\/doi.org\/10.1109\/TCAD.2023.3331215","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"9_CR34","doi-asserted-by":"crossref","unstructured":"Wiesem\u00fcller, F., et al.: Transient bio-inspired gliders with embodied humidity responsive actuators for environmental sensing. Front. Robot. AI (2023)","DOI":"10.3389\/frobt.2022.1011793"},{"key":"9_CR35","unstructured":"WMO: Global Demonstration Campaign for Evaluating the Use of Uncrewed Aircraft Systems in Operational Meteorology: White Paper. Technical report (2023)"},{"key":"9_CR36","unstructured":"Zhang, H., Weng, T.W., Chen, P.Y., Hsieh, C.J., Daniel, L.: Efficient neural network robustness certification with general activation functions. In: Advances in Neural Information Processing Systems, vol. 31, pp. 4939\u20134948 (2018). https:\/\/arxiv.org\/pdf\/1811.00866.pdf"}],"container-title":["Lecture Notes in Computer Science","AI Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-99991-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,19]],"date-time":"2026-08-19T10:14:36Z","timestamp":1787134476000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-99991-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,28]]},"ISBN":["9783031999901","9783031999918"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-99991-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,28]]},"assertion":[{"value":"28 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAIV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on AI Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Zagreb","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Croatia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 July 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"saiv2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.aiverification.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}