An overview of verification and validation challenges for inspection robots

M Fisher, RC Cardoso, EC Collins, C Dadswell… - Robotics, 2021 - mdpi.com
The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …

A review of verification and validation for space autonomous systems

RC Cardoso, G Kourtis, LA Dennis, C Dixon… - Current Robotics …, 2021 - Springer
Abstract Purpose of Review The deployment of hardware (eg, robots, satellites, etc.) to
space is a costly and complex endeavor. It is of extreme importance that on-board systems …

Integrating formal verification and assurance: an inspection rover case study

H Bourbouh, M Farrell, A Mavridou, I Sljivo… - NASA Formal Methods …, 2021 - Springer
The complexity and flexibility of autonomous robotic systems necessitates a range of distinct
verification tools. This presents new challenges not only for design verification but also for …

Monitoring of perception systems: Deterministic, probabilistic, and learning-based fault detection and identification

P Antonante, HG Nilsen, L Carlone - Artificial Intelligence, 2023 - Elsevier
This paper investigates runtime monitoring of perception systems. Perception is a critical
component of high-integrity applications of robotics and autonomous systems, such as self …

Human goals are constitutive of agency in artificial intelligence (AI)

E Popa - Philosophy & Technology, 2021 - Springer
The question whether AI systems have agency is gaining increasing importance in
discussions of responsibility for AI behavior. This paper argues that an approach to artificial …

Monitoring and diagnosability of perception systems

P Antonante, DI Spivak… - 2021 IEEE/RSJ …, 2021 - ieeexplore.ieee.org
Perception is a critical component of high-integrity applications of robotics and autonomous
systems, such as self-driving vehicles. In these applications, failure of perception systems …

Formal modelling and runtime verification of autonomous grasping for active debris removal

M Farrell, N Mavrakis, A Ferrando, C Dixon… - Frontiers in Robotics …, 2022 - frontiersin.org
Active debris removal in space has become a necessary activity to maintain and facilitate
orbital operations. Current approaches tend to adopt autonomous robotic systems which are …

Swarmflawfinder: Discovering and exploiting logic flaws of swarm algorithms

C Jung, A Ahad, Y Jeon, Y Kwon - 2022 IEEE Symposium on …, 2022 - ieeexplore.ieee.org
Inspired by swarms in nature, swarm robotics have been developed to conduct various
challenging tasks such as environmental monitoring, disaster recovery, logistics, and even …

[图书][B] Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines

LA Dennis, M Fisher - 2023 - books.google.com
How can we provide guarantees of behaviours for autonomous systems such as driverless
cars? This tutorial text, for professionals, researchers and graduate students, explains how …

Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool

W Li, P Ribeiro, A Miyazawa, R Redpath… - Autonomous …, 2024 - Springer
Current practice in simulation and implementation of robot controllers is usually undertaken
with guidance from high-level design diagrams and pseudocode. Thus, no rigorous …