Behavior trees in action: a study of robotics applications

R Ghzouli, T Berger, EB Johnsen, S Dragule… - Proceedings of the 13th …, 2020 - dl.acm.org
Autonomous robots combine a variety of skills to form increasingly complex behaviors called
missions. While the skills are often programmed at a relatively low level of abstraction, their …

Behavior trees and state machines in robotics applications

R Ghzouli, T Berger, EB Johnsen… - IEEE Transactions …, 2023 - ieeexplore.ieee.org
Autonomous robots combine skills to form increasingly complex behaviors, called missions.
While skills are often programmed at a relatively low abstraction level, their coordination is …

[HTML][HTML] Specification, stochastic modeling and analysis of interactive service robotic applications

L Lestingi, D Zerla, MM Bersani, M Rossi - Robotics and Autonomous …, 2023 - Elsevier
Assistive robotic systems are quickly becoming a core technology for the service sector as
they are understood capable of supporting people in need of assistance in a wide variety of …

Mission specification patterns for mobile robots: Providing support for quantitative properties

C Menghi, C Tsigkanos, M Askarpour… - IEEE Transactions …, 2022 - ieeexplore.ieee.org
With many applications across domains as diverse as logistics, healthcare, and agriculture,
service robots are in increasingly high demand. Nevertheless, the designers of these robots …

Languages for specifying missions of robotic applications

S Dragule, SG Gonzalo, T Berger… - Software Engineering for …, 2021 - Springer
Robot application development is gaining increasing attention both from the research and
industry communities. Robots are complex cyber-physical and safety-critical systems with …

[HTML][HTML] Mission specification and decomposition for multi-robot systems

EB Gil, GN Rodrigues, P Pelliccione… - Robotics and Autonomous …, 2023 - Elsevier
Abstract Service robots are increasingly being used to perform missions comprising
dangerous or tedious tasks previously executed by humans. However, their users—who …

Unified Meaning Representation Format (UMRF)-A Task Description and Execution Formalism for HRI

R Valner, S Wanna, K Kruusamäe, M Pryor - ACM Transactions on …, 2022 - dl.acm.org
To facilitate continuous development of novel HRI systems, it is beneficial to have tools that
enable quick adjustments, flexibility, or re-invention of the human interfaces when system …

Adaptive heterogeneous multi-robot collaboration from formal task specifications

P Schillinger, S García, A Makris, K Roditakis… - Robotics and …, 2021 - Elsevier
Efficiently coordinating different types of robots is an important enabler for many commercial
and industrial automation tasks. Here, we present a distributed framework that enables a …

Scheduling of missions with constrained tasks for heterogeneous robot systems

G Vázquez, R Calinescu, J Cámara - arXiv preprint arXiv:2209.14040, 2022 - arxiv.org
We present a formal tasK AllocatioN and scheduling apprOAch for multi-robot missions
(KANOA). KANOA supports two important types of task constraints: task ordering, which …

A survey on the design space of end-user-oriented languages for specifying robotic missions

S Dragule, T Berger, C Menghi… - Software and Systems …, 2021 - Springer
Mobile robots are becoming increasingly important in society. Fulfilling complex missions in
different contexts and environments, robots are promising instruments to support our …