{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T19:09:01Z","timestamp":1767035341583,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242694"},{"type":"electronic","value":"9783642242700"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24270-0_17","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T10:51:44Z","timestamp":1315392704000},"page":"228-242","source":"Crossref","is-referenced-by-count":37,"title":["Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems"],"prefix":"10.1007","author":[{"given":"Matt","family":"Webster","sequence":"first","affiliation":[]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[]},{"given":"Neil","family":"Cameron","sequence":"additional","affiliation":[]},{"given":"Mike","family":"Jump","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Multi-Agent Programming: Languages, Tools and Applications","year":"2009","key":"17_CR1","unstructured":"Bordini, R., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Tools and Applications. Springer, Heidelberg (2009)"},{"key":"17_CR2","first-page":"69","volume-title":"Proc. 23rd Int. Conf. Automated Software Engineering (ASE)","author":"R.H. Bordini","year":"2008","unstructured":"Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated Verification of Multi-Agent Programs. In: Proc. 23rd Int. Conf. Automated Software Engineering (ASE), pp. 69\u201378. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"17_CR3","first-page":"267","volume-title":"Proc. 4th Int. Conf. Human-Robot Interaction (HRI)","author":"R.H. Bordini","year":"2009","unstructured":"Bordini, R.H., Fisher, M., Sierhuis, M.: Formal Verification of Human-Robot Teamwork. In: Proc. 4th Int. Conf. Human-Robot Interaction (HRI), pp. 267\u2013268. ACM, New York (2009)"},{"issue":"5","key":"17_CR4","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MIS.2004.47","volume":"19","author":"R.H. Bordini","year":"2004","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model Checking Rational Agents. IEEE Intelligent Systems\u00a019(5), 46\u201352 (2004)","journal-title":"IEEE Intelligent Systems"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Brat, G., Denney, E., Giannakopoulou, D., Frank, J., Jonsson, A.: Verification of Autonomous Systems for Space Applications. In: Proc. IEEE Aerospace Conference (2006)","DOI":"10.1109\/AERO.2006.1656029"},{"key":"17_CR6","unstructured":"Chaudemar, J.-C., Bensana, E., Seguin, C.: Model Based Safety Analysis for an Unmanned Aerial System. In: Proc. Dependable Robots in Human Environments, DRHE (2010)"},{"key":"17_CR7","unstructured":"Civil Aviation Authority. CAP 393 Air Navigation: The Order and the Regulations (April 2010), http:\/\/www.caa.co.uk\/docs\/33\/CAP393.pdf"},{"key":"17_CR8","unstructured":"Civil Aviation Authority. CAP 722 Unmanned Aircraft System Operations in UK Airspace \u2014 Guidance (April 2010) http:\/\/www.caa.co.uk\/docs\/33\/CAP722.pdf"},{"key":"17_CR9","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"17_CR10","unstructured":"Dennis, L.A., Farwer, B.: Gwendolen: A BDI Language for Verifiable Agents. In: Logic and the Simulation of Interaction and Reasoning. AISB 2008 Workshop (2008)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Dennis, L.A., Fisher, M., Webster, M.P., Bordini, R.H.: Model Checking Agent Programming Languages. Automated Software Engineering (in press)","DOI":"10.1007\/s10515-011-0088-x"},{"key":"17_CR12","unstructured":"European Aviation Safety Agency. Certification Specifications for Large Aeroplanes CS-25 (October 2003) ED Decision 2003\/2\/RM Final 17\/10\/2003."},{"key":"17_CR13","unstructured":"Holzmann, G.: The Spin Model Checker: Primer and Reference Manual. AW (2004)"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Jeyaraman, S., Tsourdos, A., Zbikowski, R., White, B.: Formal Techniques for the Modelling and Validation of a Co-operating UAV Team that uses Dubins Set for Path Planning. In: Proc. American Control Conference (2005)","DOI":"10.1109\/ACC.2005.1470736"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-15651-9_11","volume-title":"Computer Safety, Reliability, and Security","author":"C. Johnson","year":"2010","unstructured":"Johnson, C.: Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol.\u00a06351, pp. 142\u2013154. Springer, Heidelberg (2010)"},{"key":"17_CR16","unstructured":"Java PathFinder, http:\/\/javapathfinder.sourceforge.net"},{"key":"17_CR17","unstructured":"Model-Checking Agent Programming Languages, http:\/\/mcapl.sourceforge.net"},{"issue":"2","key":"17_CR18","doi-asserted-by":"publisher","first-page":"161","DOI":"10.2514\/1.4586","volume":"27","author":"D. McRuer","year":"2004","unstructured":"McRuer, D., Graham, D.: Flight control century: Triumphs of the systems approach. Journal of Guidance, Control and Dynamics\u00a027(2), 161\u2013173 (2004)","journal-title":"Journal of Guidance, Control and Dynamics"},{"key":"17_CR19","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1109\/ISSRE.2009.15","volume-title":"Proceedings of the 20th International Symposium on Software Reliability Engineering, ISSRE 2009","author":"A.P. Nikora","year":"2009","unstructured":"Nikora, A.P., Balcom, G.: Automated identification of LTL patterns in natural language requirements. In: Proceedings of the 20th International Symposium on Software Reliability Engineering, ISSRE 2009, pp. 185\u2013194. IEEE Computer Society, Los Alamitos (2009)"},{"key":"17_CR20","unstructured":"Office of the Secretary of Defense. Unmanned Aircraft Systems Roadmap 2005\u20132030. US DoD Publication (2005)"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Patchett, C., Ansell, D.: The Development of an Advanced Autonomous Integrated Mission System for Uninhabited Air Systems to Meet UK Airspace Requirements. In: Proc. International Conference on Intelligent Systems, Modelling and Simulation (2010)","DOI":"10.1109\/ISMS.2010.22"},{"key":"17_CR22","first-page":"473","volume-title":"Proc. 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR)","author":"A. Rao","year":"1991","unstructured":"Rao, A., Georgeff, M.: Modeling Agents within a BDI-Architecture. In: Proc. 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 473\u2013484. Morgan Kaufmann, San Francisco (1991)"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Sirigineedi, G., Tsourdos, A., Zbikowski, R., White, B.A.: Modelling and Verification of Multiple UAV Mission Using SMV. In: Proc. FMA 2009. EPTCS, vol.\u00a020 (2009)","DOI":"10.4204\/EPTCS.20.3"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Sward, R.E.: Proving Correctness of Unmanned Aerial Vehicle Cooperative Software. In: Proc. IEEE International Conference on Networking, Sensing and Control (2005)","DOI":"10.1109\/ICNSC.2005.1461287"},{"issue":"2","key":"17_CR25","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G.P., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering\u00a010(2), 203\u2013232 (2003)","journal-title":"Automated Software Engineering"},{"key":"17_CR26","unstructured":"Williams, E.: Airborne Collision Avoidance System. In: Cant, T. (ed.) Proc. 9th Australian Workshop on Safety Critical Systems and Software, SCS 2004. Conferences in Research and Practice in Information Technology, vol.\u00a047, pp. 97\u2013110 (2004)"},{"key":"17_CR27","volume-title":"An Introduction to Multiagent Systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons, Chichester (2002)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24270-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T22:49:55Z","timestamp":1560552595000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24270-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242694","9783642242700"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24270-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}