{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T04:05:25Z","timestamp":1748577925916,"version":"3.41.0"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319224152"},{"type":"electronic","value":"9783319224169"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-22416-9_9","type":"book-chapter","created":{"date-parts":[[2015,7,17]],"date-time":"2015-07-17T12:41:16Z","timestamp":1437136876000},"page":"69-81","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles"],"prefix":"10.1007","author":[{"given":"Samuel","family":"Bucheli","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Kroening","sequence":"additional","affiliation":[]},{"given":"Ruben","family":"Martins","sequence":"additional","affiliation":[]},{"given":"Ashutosh","family":"Natraj","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,18]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.entcs.2004.02.055","volume":"109","author":"A Agrawal","year":"2004","unstructured":"Agrawal, A., Simon, G., Karsai, G.: Semantic Translation of Simulink\/Stateflow Models to Hybrid Automata Using Graph Transformations. Electronic Notes in Theoretical Computer Science 109, 43\u201356 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1","key":"9_CR2","first-page":"33","volume":"30","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., Braubach, L., Dastani, M., Fallah-Seghrouchni, A.E., G\u00f3mez-Sanz, J., Leite, J., O\u2019Hare, G., Pokahr, A., Ricci, A.: A Survey of Programming Languages and Platforms for Multi-Agent Systems. Informatica 30(1), 33\u201344 (2006)","journal-title":"Informatica"},{"issue":"2","key":"9_CR3","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"12","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying Multi-agent Programs by Model Checking. Autonomous Agents and Multi-Agent Systems 12(2), 239\u2013256 (2006)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9_CR4","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: Semantics for the jason variant of agentspeak (plan failure and some internal actions). In: European Conference on Artificial Intelligence, pp. 635\u2013640. IOS Press (2010)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons (2007)","DOI":"10.1002\/9780470061848"},{"key":"9_CR6","doi-asserted-by":"publisher","unstructured":"Bucheli, S., Kroening, D., Martins, R., Natraj, A.: AgentSpeak Translator. https:\/\/github.com\/OxfordUAVAutonomy\/AgentSpeakTranslator (last visited June 15, 2015). doi:10.5281\/zenodo.18572","DOI":"10.5281\/zenodo.18572"},{"key":"9_CR7","doi-asserted-by":"publisher","unstructured":"Bucheli, S., Kroening, D., Martins, R., Natraj, A.: Modified tum\\_ardrone package (last visited 15, June 2015). doi: 10.5281\/zenodo.18571. https:\/\/github.com\/OxfordUAVAutonomy\/tum_ardrone","DOI":"10.5281\/zenodo.18571"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Clarke","year":"2004","unstructured":"Clarke, E., Kroning, D., Lerda, F.: A tool for checking ANSI-C programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 168\u2013176. Springer, Heidelberg (2004)"},{"key":"9_CR9","doi-asserted-by":"publisher","unstructured":"Dennis, L.A., Fisher, M., Lincoln, N., Lisitsa, A., Veres, S.M.: Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Automated Software Engineering Online, 1\u201355 (2014). doi:10.1007\/s10515-014-0168-9","DOI":"10.1007\/s10515-014-0168-9"},{"key":"9_CR10","doi-asserted-by":"publisher","unstructured":"Dennis, L.A., Fisher, M., Webster, M.: Two-stage agent program verification. Journal of Logic and Computation Online (2015). doi:10.1093\/logcom\/exv002","DOI":"10.1093\/logcom\/exv002"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-38700-5_1","volume-title":"Programming Multi-Agent Systems","author":"\u00c1F D\u00edaz","year":"2013","unstructured":"D\u00edaz, \u00c1.F., Earle, C.B., Fredlund, L.\u00c5.: eJason: an implementation of jason in erlang. In: Dastani, M., H\u00fcbner, J.F., Logan, B. (eds.) ProMAS 2012. LNCS(LNAI), vol. 7837, pp. 1\u201316. Springer, Heidelberg (2013)"},{"key":"9_CR12","unstructured":"Doan, T.T., Yao, Y., Alechina, N., Logan, B.: Verifying heterogeneous multi-agent programs. In: International Joint Conference on Autonomous Agents and Multiagent Systems. IEEE Computer Society (2014)"},{"key":"9_CR13","unstructured":"Engel, J., Sturm, J., Cremers, D.: tum\\_ardrone. http:\/\/wiki.ros.org\/tum_ardrone (last visited June 15, 2015)"},{"issue":"11","key":"9_CR14","doi-asserted-by":"publisher","first-page":"1646","DOI":"10.1016\/j.robot.2014.03.012","volume":"62","author":"J Engel","year":"2014","unstructured":"Engel, J., Sturm, J., Cremers, D.: Scale-Aware Navigation of a Low-Cost Quadrocopter with a Monocular Camera. Robotics and Autonomous Systems 62(11), 1646\u20131656 (2014)","journal-title":"Robotics and Autonomous Systems"},{"issue":"9","key":"9_CR15","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/2500468.2494558","volume":"56","author":"M Fisher","year":"2013","unstructured":"Fisher, M., Dennis, L., Webster, M.: Verifying autonomous systems. Communications of the ACM 56(9), 84\u201393 (2013)","journal-title":"Communications of the ACM"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.engappai.2015.01.012","volume":"41","author":"G Fortino","year":"2015","unstructured":"Fortino, G., Rango, F., Russo, W., Santoro, C.: Translation of statechart agents into a BDI framework for MAS engineering. Engineering Applications of Artificial Intelligence 41, 287\u2013297 (2015)","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"9_CR17","unstructured":"Hama, M.T., Allgayer, R.S., Pereira, C.E., Bordini, R.H.: UAVAS: AgentSpeak Agents for Unmanned Aerial Vehicles. In: Workshop on Autonomous Software Systems at CBSoft (Autosoft 2011) (2011)"},{"key":"9_CR18","volume-title":"Modeling Reactive Systems with Statecharts: The Statemate Approach","author":"D Harel","year":"1998","unstructured":"Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: The Statemate Approach, 1st edn. McGraw-Hill Inc., New York (1998)","edition":"1"},{"key":"9_CR19","unstructured":"Holzmann, G.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley Professional (2003)"},{"key":"9_CR20","unstructured":"Huang, H., Sturm, J.: tum\\_simulator. http:\/\/wiki.ros.org\/tum_simulator (last visited June 15, 2015)"},{"key":"9_CR21","unstructured":"ICAO Cir 328: Unmanned Aircraft Systems (UAS). International Civil Aviation Organization (2011)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Mikk, E., Lakhnech, Y., Siegel, M., Holzmann, G.: Implementing statecharts in PROMELA\/SPIN. In: Workshop on Industrial Strength Formal Specification Techniques, pp. 90\u2013101. IEEE Computer Society Press (1998)","DOI":"10.1109\/WIFT.1998.766303"},{"key":"9_CR23","unstructured":"Motor Industry Software Reliability Association and Motor Industry Software Reliability Association Staff: MISRA C: 2012: Guidelines for the Use of the C Language in Critical Systems. Motor Industry Research Association (2013)"},{"key":"9_CR24","unstructured":"Nelson, R.C.: Flight stability and automatic control. McGraw-Hill (1997)"},{"key":"9_CR25","unstructured":"Piskorski, S., Brulez, N., Eline, P., D\u2019Haeyer, F.: AR.Drone Developer Guide Revision SDK 2.0. Parrot S.A. (2012)"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0054170","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Pnueli","year":"1998","unstructured":"Pnueli, A., Siegel, M.D., Singerman, E.: Translation validation. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 151\u2013166. Springer, Heidelberg (1998)"},{"key":"9_CR27","unstructured":"Puri, A.: A Survey of Unmanned Aerial Vehicles (UAV) for Traffic Surveillance. Department of Computer Science and Engineering, University of South Florida, Tech. rep. (2005)"},{"key":"9_CR28","unstructured":"Quigley, M., Conley, K., Gerkey, B., Faust, J., Foote, T., Leibs, J., Wheeler, R., Ng, A.Y.: ROS: an open-source robot operating system. In: ICRA Workshop on Open-Source Software in Robotics (2009)"},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"AS Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"9_CR30","unstructured":"Rao, A.S., Georgeff, M.P.: BDI Agents: From theory to practice. In: International Conference on Multi-Agent Systems, pp. 312\u2013319. AAAI press (1995)"},{"key":"9_CR31","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents with a BDI-architecture. In: Readings in Agents, pp. 317\u2013328. Morgan Kaufmann Publishers Inc. (1998)"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"van Riemsdijk, M.B., de Boer, F.S., Dastani, M., Meyer, J.J.C.: Prototyping 3APL in the Maude Term Rewriting Language. In: International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1279\u20131281. ACM (2006)","DOI":"10.1145\/1160633.1160865"},{"key":"9_CR33","unstructured":"ROS: Robot Operating System. http:\/\/www.ros.org (last visited June 15, 2015)"},{"key":"9_CR34","unstructured":"RTCA: DO-178C, Software Considerations in Airborne Systems and Equipment Certification. Radio Technical Commission for Aeronautics (2011)"},{"key":"9_CR35","unstructured":"RTCA: DO-333, Formal Methods Supplement to DO-178C and DO-278A. Radio Technical Commission for Aeronautics (2011)"},{"key":"9_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1007\/978-3-642-02658-4_57","volume-title":"Computer Aided Verification","author":"M Ryabtsev","year":"2009","unstructured":"Ryabtsev, M., Strichman, O.: Translation validation: from simulink to C. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 696\u2013701. Springer, Heidelberg (2009)"},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"Sampath, P., Rajeev, A.C., Ramesh, S.: Translation validation for stateflow to C. In: Design Automation Conference on Design Automation Conference, pp. 23:1\u201323:6. ACM (2014)","DOI":"10.1145\/2593069.2593237"},{"key":"9_CR38","doi-asserted-by":"crossref","unstructured":"Scaife, N., Sofronis, C., Caspi, P., Tripakis, S., Maraninchi, F.: Defining and translating a \u201csafe\u201d subset of simulink\/stateflow into lustre. In: International Conference on Embedded Software, pp. 259\u2013268. ACM (2004)","DOI":"10.1145\/1017753.1017795"},{"issue":"1","key":"9_CR39","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented Programming. Artificial Intelligence 60(1), 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"key":"9_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-88194-0_15","volume-title":"Formal Methods and Software Engineering","author":"M Staats","year":"2008","unstructured":"Staats, M., Heimdahl, M.P.E.: Partial translation verification for untrusted code-generators. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 226\u2013237. Springer, Heidelberg (2008)"},{"key":"9_CR41","doi-asserted-by":"crossref","unstructured":"Thesing, S., Souyris, J., Heckmann, R., Randimbivololona, F., Langenbach, M., Wilhelm, R., Ferdinand, C.: An abstract interpretation-based timing validation of hard real-time avionics software. In: International Conference on Dependable Systems and Networks, pp. 625\u2013632. IEEE (2003)","DOI":"10.1109\/DSN.2003.1209972"},{"issue":"1","key":"9_CR42","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1613\/jair.2221","volume":"29","author":"R Vieira","year":"2007","unstructured":"Vieira, R., Moreira, A., Wooldridge, M., Bordini, R.H.: On the formal semantics of speech-act based communication in an agent-oriented programming language. Journal of Artificial Intelligence Research 29(1), 221\u2013267 (2007)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9_CR43","unstructured":"Vu, T., Veloso, M.: Behavior Programming Language and Automated Code Generation for Agent Behavior Control. School of Computer Science, Carnegie Mellon University, Tech. rep. (2004)"},{"key":"9_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-642-38700-5_3","volume-title":"Programming Multi-Agent Systems","author":"P Ziafati","year":"2013","unstructured":"Ziafati, P., Dastani, M., Meyer, J.-J., van der Torre, L.: Agent programming languages requirements for programming autonomous robots. In: Dastani, M., H\u00fcbner, J.F., Logan, B. (eds.) ProMAS 2012. LNCS(LNAI), vol. 7837, pp. 35\u201353. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Towards Autonomous Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22416-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T09:43:43Z","timestamp":1748511823000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22416-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319224152","9783319224169"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22416-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"18 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}