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

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 …

Analyzing the impact of human errors on interactive service robotic scenarios via formal verification

L Lestingi, A Manglaviti, D Marinaro, L Marinello… - Software and Systems …, 2024 - Springer
Develo** robotic applications with human–robot interaction for the service sector raises a
plethora of challenges. In these settings, human behavior is essentially unconstrained as …

Explainable human-machine teaming using model checking and interpretable machine learning

MM Bersani, M Camilli, L Lestingi… - 2023 IEEE/ACM 11th …, 2023 - ieeexplore.ieee.org
The human-machine teaming paradigm promotes tight teamwork between humans and
autonomous machines that collaborate in the same physical space. This paradigm is …

Synergistic Swarm: Multi-Robot Systems in Healthcare

J Kaur - Modeling, Simulation, and Control of AI Robotics and …, 2024 - igi-global.com
The “synergistic swarm” investigates the incorporation of multi-robot systems in healthcare,
introducing a fundamental change in patient care and medical operations. This abstract …

Engineering of trust analysis-driven digital twins for a medical device

MM Bersani, C Braghin, A Gargantini… - … Conference on Software …, 2022 - Springer
The DT paradigm has emerged as a suitable way to cope with the complexity of analyzing,
controlling, and adapting complex systems in diverse domains. For medical systems …

Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL

DJB Galvão - 2024 - repositorio.unb.br
A necessidade de alavancar meios para especificar missões robóticas a partir de um alto
nível de abstração ganhou força devido ao crescimento da popularidade das aplicações …

[PDF][PDF] An Approach for High-Level Multi-Robot Mission Verification in UPPAAL

DB Galvão - 2023 - ppgi.unb.br
The need to leverage means to specify robotic missions from a high abstraction level has
gained momentum due to the popularity growth of robotic applications. As such, it is …