{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T21:28:10Z","timestamp":1777066090110,"version":"3.51.4"},"reference-count":33,"publisher":"Emerald","issue":"4","license":[{"start":{"date-parts":[[2017,11,13]],"date-time":"2017-11-13T00:00:00Z","timestamp":1510531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.emerald.com\/insight\/site-policies"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IJICC"],"published-print":{"date-parts":[[2017,11,13]]},"abstract":"<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Purpose<\/jats:title>\n<jats:p>The purpose of this paper is to describe the specification language TML for adaptive mission plans that the authors designed and implemented for the open-source framework Aerostack for aerial robotics.<\/jats:p>\n<\/jats:sec>\n<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Design\/methodology\/approach<\/jats:title>\n<jats:p>The TML language combines a task-based hierarchical approach together with a more flexible representation, rule-based reactive planning, to facilitate adaptability. This approach includes additional notions that abstract programming details. The authors built an interpreter integrated in the software framework Aerostack. The interpreter was validated with flight experiments for multi-robot missions in dynamic environments.<\/jats:p>\n<\/jats:sec>\n<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Findings<\/jats:title>\n<jats:p>The experiments proved that the TML language is easy to use and expressive enough to formulate adaptive missions in dynamic environments. The experiments also showed that the TML interpreter is efficient to execute multi-robot aerial missions and reusable for different platforms. The TML interpreter is able to verify the mission plan before its execution, which increases robustness and safety, avoiding the execution of certain plans that are not feasible.<\/jats:p>\n<\/jats:sec>\n<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Originality\/value<\/jats:title>\n<jats:p>One of the main contributions of this work is the availability of a reliable solution to specify aerial mission plans, integrated in an active open-source project with periodic releases. To the best knowledge of the authors, there are not solutions similar to this in other active open-source projects. As additional contributions, TML uses an original combination of representations for adaptive mission plans (i.e. task trees with original abstract notions and rule-based reactive planning) together with the demonstration of its adequacy for aerial robotics.<\/jats:p>\n<\/jats:sec>","DOI":"10.1108\/ijicc-03-2017-0025","type":"journal-article","created":{"date-parts":[[2017,10,10]],"date-time":"2017-10-10T07:20:30Z","timestamp":1507620030000},"page":"491-512","source":"Crossref","is-referenced-by-count":13,"title":["TML: a language to specify aerial robotic missions for the framework Aerostack"],"prefix":"10.1108","volume":"10","author":[{"given":"Martin","family":"Molina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramon A.","family":"Suarez-Fernandez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Sampedro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jose Luis","family":"Sanchez-Lopez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascual","family":"Campoy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"140","reference":[{"key":"key2020120419204722800_ref001","first-page":"3","article-title":"Hierarchical and state-based architectures for robot behavior planning and control","year":"2013"},{"key":"key2020120419204722800_ref002","article-title":"The behavior language; user\u2019s guide","year":"1990"},{"key":"key2020120419204722800_ref003","article-title":"Understanding behavior trees","year":"2007"},{"key":"key2020120419204722800_ref004","first-page":"1482","article-title":"How behavior trees modularize ro- bustness and safety in hybrid systems","year":"2014"},{"key":"key2020120419204722800_ref005","unstructured":"Doherty, P., Heintz, F. and Land\u00e9n, D. (2010), \u201cA distributed task specification language for mixed-initiative delegation\u201d, in Desai, N., Liu, A. and Winikoff, M. (Eds), 13th International Conference, PRIMA 2010, Kollata, LNAI 7057, Springer, Berlin and Heidelberg, November, pp. 42-57."},{"key":"key2020120419204722800_ref006","doi-asserted-by":"crossref","unstructured":"Downs, J. and Reichgelt, H. (1991), \u201cIntegrating classical and reactive planning within an architecture for autonomous agents\u201d, in Joachim, H. (Ed.), Proceedings of European Workshop on Planning EWSP\u201991, Sankt Augustin, FRG, March 18-19, Springer, Berlin and Heidelberg, pp. 13-26.","DOI":"10.1007\/BFb0052946"},{"issue":"1","key":"key2020120419204722800_ref007","first-page":"25","article-title":"Mission specification in underwater robotics","volume":"4","year":"2010","journal-title":"Journal of Physical Agents"},{"issue":"3","key":"key2020120419204722800_ref008","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: a visual formalism for complex systems","volume":"8","year":"1987","journal-title":"Science of Computer Programming"},{"key":"key2020120419204722800_ref009","article-title":"Formal specification and synthesis of mission plans for unmanned aerial vehicles","year":"2014"},{"key":"key2020120419204722800_ref010","article-title":"Handling complexity in the Halo 2 AI","year":"2005"},{"key":"key2020120419204722800_ref011","unstructured":"Kl\u00f6ckner, A. (2013), \u201cBehavior trees for UAV mission management\u201d, in Horbach, M. (Ed.), INFORMATIK 2013 volume P-220 of GI-Edition-Lecture Notes in Informatics(LNI) Proceedings, Koblenz, September 16-20, pp. 57-68."},{"key":"key2020120419204722800_ref012","first-page":"727","article-title":"The modelica behavior trees library: mission planning in continuous-time for unmanned aircraft","year":"2014"},{"key":"key2020120419204722800_ref013","doi-asserted-by":"crossref","unstructured":"Konolige, K. (1997), \u201cColbert: a language for reactive control in Sapphira\u201d, in Gerhard, B., Christopher, H. and Bernhard, N. (Eds), KI-97: Proceedings Advances in Artificial Intelligence 21st Annual German Conference on Artificial Intelligence, Freiburg, September 9-12, Springer, Berlin and Heidelberg, pp. 31-52.","DOI":"10.1007\/3540634932_2"},{"issue":"2","key":"key2020120419204722800_ref014","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1016\/j.conengprac.2012.09.020","article-title":"Hierarchical finite state machines for autonomous mobile systems","volume":"21","year":"2013","journal-title":"Control Engineering Practice"},{"key":"key2020120419204722800_ref015","first-page":"5124","article-title":"XABSL-a pragmatic approach to behavior engineering","year":"2006"},{"key":"key2020120419204722800_ref016","unstructured":"MacKenzie, D. (1997), \u201cA design methodology for the configuration of behavior-based mobile robots\u201d, PhD dissertation, Georgia Institute of Technology, Atlanta, GA."},{"key":"key2020120419204722800_ref017","first-page":"5420","article-title":"Towards a unified behavior trees framework for robot control","year":"2014"},{"key":"key2020120419204722800_ref018","article-title":"Fa\u00e7ade: an experiment in building a fully-realized interactive drama","year":"2003"},{"key":"key2020120419204722800_ref019","article-title":"Specifying complex missions for aerial robotics in dynamic environments","year":"2016"},{"key":"key2020120419204722800_ref020","article-title":"A tool for satisfiability-based commonsense reasoning in the event calculus","year":"2004"},{"key":"key2020120419204722800_ref021","volume-title":"Commonsense Reasoning: An Event Calculus based Approach","year":"2014"},{"key":"key2020120419204722800_ref022","first-page":"227","article-title":"A hierarchical architecture for behavior-based robots","year":"2002"},{"key":"key2020120419204722800_ref023","first-page":"2012","article-title":"Increasing modularity of UAV control systems using computer game behavior trees","year":"2012"},{"key":"key2020120419204722800_ref024","unstructured":"Olsson, M. (2016), \u201cBehavior trees for decision-making in autonomous driving\u201d, Master\u2019s thesis, KTH Royal Institute of Technology, Stockholm."},{"key":"key2020120419204722800_ref025","first-page":"855","article-title":"On AUV control architecture","year":"2005"},{"key":"key2020120419204722800_ref026","unstructured":"Risler, M. (2009), \u201cBehavior control for single and multiple autonomous agents based on hierarchical finite state machines\u201d, PhD dissertation, Fortschritt-Berichte VDI, Technische Universitt Darmstadt, Darmstadt."},{"key":"key2020120419204722800_ref028","first-page":"4804","article-title":"Human-computer interface concepts for verifiable mission specification, planning, and management","year":"2013"},{"issue":"2-4","key":"key2020120419204722800_ref029","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1007\/s10846-017-0551-4","article-title":"A multi-layered component-based approach for the development of aerial robotic systems: the aerostack framework","volume":"88","year":"2017","journal-title":"Journal of Intelligent & Robotic Systems"},{"key":"key2020120419204722800_ref030","article-title":"AEROSTACK: an architecture and open-source software framework for aerial robotics","year":"2016"},{"key":"key2020120419204722800_ref031","article-title":"Mission aware flight planning for unmanned aerial systems","year":"2008"},{"key":"key2020120419204722800_ref032","article-title":"Towards a graphical language for quadrotor missions","year":"2014"},{"key":"key2020120419204722800_ref033","first-page":"1931","article-title":"A task description language for robot control","year":"1998"},{"key":"key2020120419204722800_ref034","first-page":"315","article-title":"Hierarchical state machines","year":"2000"}],"container-title":["International Journal of Intelligent Computing and Cybernetics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/IJICC-03-2017-0025\/full\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/IJICC-03-2017-0025\/full\/html","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T22:54:10Z","timestamp":1753397650000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.emerald.com\/ijicc\/article\/10\/4\/491-512\/123816"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,13]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,11,13]]}},"alternative-id":["10.1108\/IJICC-03-2017-0025"],"URL":"https:\/\/doi.org\/10.1108\/ijicc-03-2017-0025","relation":{},"ISSN":["1756-378X"],"issn-type":[{"value":"1756-378X","type":"print"}],"subject":[],"published":{"date-parts":[[2017,11,13]]}}}