Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[HTML][HTML] Specification, stochastic modeling and analysis of interactive service robotic applications
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 …
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
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 …
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 …
plethora of challenges. In these settings, human behavior is essentially unconstrained as …
Explainable human-machine teaming using model checking and interpretable machine learning
The human-machine teaming paradigm promotes tight teamwork between humans and
autonomous machines that collaborate in the same physical space. This paradigm is …
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 …
introducing a fundamental change in patient care and medical operations. This abstract …
Engineering of trust analysis-driven digital twins for a medical device
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 …
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 …
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 …
gained momentum due to the popularity growth of robotic applications. As such, it is …