Trust|based Runtime Verification of Autonomous Robotic Systems

Trust-based Runtime Verification of Autonomous Robotic Systems

Trust plays a crucial role in enabling effective collaboration and decision-making within human-multi-robot teams. In this context, runtime verification ...

Runtime Verification for Trustworthy Computing - NASA/ADS

Autonomous and robotic systems are increasingly being trusted with sensitive activities with potentially serious consequences if that trust is broken.

Formal Specification and Verification of Autonomous Robotic Systems

This article systematically surveys the state of the art in formal specification and verification for autonomous robotics.

(PDF) Runtime Verification of Trust-Based Symbolic Robot Motion ...

PDF | In this paper, we address the runtime verification problem of robot motion planning with human-in-the-loop.

Runtime Verification of Trust-Based Symbolic Robot Motion ...

By bringing together approaches from runtime verification, trust model, and symbolic motion planning, we developed a framework which guarantees ...

Runtime Verification and Field Testing for ROS-Based Robotic ...

We conducted (i) a literature review on studies addressing runtime verification and field-based testing for robotic systems, (ii) mined ROS- ...

Runtime Verification and Field-Based Testing for ROS-Based ...

We conducted (i) a literature review on studies addressing runtime verification and field-based testing for robotic systems, (ii) mined ROS-based applications ...

A formal toolchain for offline and run-time verification of robotic ...

There are already numerous surveys related to the formal validation and verification of autonomous systems. We try to focus on robotic systems, for which an ...

[2404.11498] Runtime Verification and Field-based Testing for ROS ...

We conducted (i) a literature review on studies addressing runtime verification and field-based testing for robotic systems, (ii) mined ROS- ...

Runtime Verification and Field-based Testing for ROS-based ...

Achieving autonomy, which minimizes human intervention, is a funda- mental goal in robotics. However, despite the progress made, robotic systems ...

Formal Modelling and Runtime Verification of Autonomous Grasping ...

Therefore, verifying that these autonomous robotic systems function correctly is crucial. Formal verification methods enable us to analyse the software that is ...

Formal Specification and Verification of Autonomous Robotic Systems

The state of the art in formal specification and verification for autonomous robotics is surveyed and the challenges posed by, the formalisms aimed at, ...

Embedding Online Runtime Verification for Fault Disambiguation on ...

Formal ver- ification of autonomous robot systems is a burgeoning research area; see [16] for a survey. R2 requires a hardware-based solution with consideration ...

Runtime Verification and Field-Based Testing for ROS-Based ...

We conducted (i) a literature review on studies addressing runtime verification and field-based testing for robotic systems, (ii) mined ROS- ...

Model-Aided Runtime Verification for Robotic Systems (MARVer)

The software of robotic systems is generally complex and safety-critical. Therefore, formal specification and verification is a rather challenging task.

Formal Modelling and Runtime Verification of Autonomous Grasping ...

Therefore, verifying that these autonomous robotic systems function correctly is crucial. Formal verification methods enable us to analyse the ...

Predictive Runtime Verification of Skill-based Robotic Systems using ...

Abstract: This work presents a novel approach for the online supervision of robotic systems assembled from multiple complex components with skillset-based ...

Bayesian learning for the robust verification of autonomous robots

Here we present a Bayesian learning framework that enables this runtime verification of autonomous robots. The framework uses prior knowledge ...

Runtime Verification of Timed Properties in Autonomous Robots

... The BIP generated model is used to simulate the system and test if the security policy is guaranteed. The paper [14] presents an approach for the ...

Perception-based Runtime Monitoring and Verification for Human ...

autonomous human-robot collaboration systems. Utilizing real- time robot perception, this framework dynamically approxi- mates human positions to prevent ...