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 …
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 …
Using formal methods for autonomous systems: Five recipes for formal verification
M Luckcuck - Proceedings of the Institution of Mechanical …, 2023 - journals.sagepub.com
Formal Methods are mathematically-based techniques for software design and engineering,
which enable the unambiguous description of and reasoning about a system's behaviour …
which enable the unambiguous description of and reasoning about a system's behaviour …
A compositional approach to verifying modular robotic systems
Robotic systems used in safety-critical industrial situations often rely on modular software
architectures, and increasingly include autonomous components. Verifying that these …
architectures, and increasingly include autonomous components. Verifying that these …
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System
We apply a compositional formal modeling and verification method to an autonomous
aircraft taxi system. We provide insights into the modeling approach and we identify several …
aircraft taxi system. We provide insights into the modeling approach and we identify several …
Compositional verification of stigmergic collective systems
L Di Stefano, F Lang - … Conference on Verification, Model Checking, and …, 2023 - Springer
Collective adaptive systems may be broadly defined as ensembles of autonomous agents,
whose interaction may lead to the emergence of global features and patterns. Formal …
whose interaction may lead to the emergence of global features and patterns. Formal …