[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 …

Robomax: Robotic mission adaptation exemplars

M Askarpour, C Tsigkanos, C Menghi… - … for Adaptive and …, 2021 - ieeexplore.ieee.org
Emerging and future applications of robotic systems pose unique self-adaptation
challenges. To support the research needed to address these challenges, we provide an …

A deployment framework for formally verified human-robot interactions

L Lestingi, M Askarpour, MM Bersani, M Rossi - IEEE Access, 2021 - ieeexplore.ieee.org
In the future, assistive robots will spread to everyday settings and regularly interact with
humans. This paper introduces a deployment approach for assistive robotic applications …

Adoption of service robots: exploring the emerging trends through the lens of bibliometric analysis

K Madhan, S Shagirbasha, TK Mishra… - International Hospitality …, 2023 - emerald.com
Purpose The aim of this study is to examine the existing literature on service robots in order
to identify prominent themes, assess the present state of service robotics research and …

Towards better trust in human-machine teaming through explainable dependability

MM Bersani, M Camilli, L Lestingi… - 2023 IEEE 20th …, 2023 - ieeexplore.ieee.org
The human-machine teaming paradigm is increasingly widespread in critical domains, such
as healthcare and domestic assistance. The paradigm goes beyond human-on-the-loop and …

Model-driven development of service robot applications dealing with uncertain human behavior

L Lestingi, MM Bersani, M Rossi - IEEE Intelligent Systems, 2022 - ieeexplore.ieee.org
In the future, robots will interact with humans in highly variable and unpredictable settings,
such as healthcare and home assistance. Frameworks are, therefore, fundamental to …

Formal modeling and verification of multi-robot interactive scenarios in service settings

L Lestingi, C Sbrolli, P Scarmozzino, G Romeo… - Proceedings of the …, 2022 - dl.acm.org
Service robots are increasingly widespread in healthcare and domestic assistance settings.
Nevertheless, the literature still lacks robotic application development approaches that can …

Autonomy verification & validation roadmap and vision 2045

GP Brat, H Yu, E Atkins, P Sharma, D Cofer, M Durling… - 2023 - ntrs.nasa.gov
Advanced capabilities planned for the next generation of autonomous and increasingly
autonomous air vehicles will include non-traditional components based on artificial …