An overview of verification and validation challenges for inspection robots
The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …
hazardous and distant environments to carry out inspections increasingly avoidable. Being …
A review of verification and validation for space autonomous systems
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 …
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
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 …
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 …
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 …
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 …
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
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 …
orbital operations. Current approaches tend to adopt autonomous robotic systems which are …
Swarmflawfinder: Discovering and exploiting logic flaws of swarm algorithms
Inspired by swarms in nature, swarm robotics have been developed to conduct various
challenging tasks such as environmental monitoring, disaster recovery, logistics, and even …
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
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 …
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 …
with guidance from high-level design diagrams and pseudocode. Thus, no rigorous …