[图书][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 modeling and verification of multi-robot interactive scenarios in service settings
L Lestingi, C Sbrolli, P Scarmozzino, G Romeo… - Proceedings of the …, 2022 - dl.acm.org
Service robots are increasingly widespread in healthcare and domestic assistance settings.
Nevertheless, the literature still lacks robotic application development approaches that can …
Nevertheless, the literature still lacks robotic application development approaches that can …
Trustworthy autonomous systems through verifiability
Autonomous systems have the promise to address many of our societal challenges in a
variety of areas. To realize this potential, these systems need to be trustworthy. We describe …
variety of areas. To realize this potential, these systems need to be trustworthy. We describe …
Online strategy synthesis for safe and optimized control of steerable needles
S Lehmann, A Rogalla, M Neidhardt… - arXiv preprint arXiv …, 2021 - arxiv.org
Autonomous systems are often applied in uncertain environments, which require
prospective action planning and retrospective data evaluation for future planning to ensure …
prospective action planning and retrospective data evaluation for future planning to ensure …
Verifiable autonomy: From theory to applications
Abstract The Autonomy and Verification group 1 1 sits within the Department of Computer
Science 2 2 at the University of Manchester. The group has a long history of research into …
Science 2 2 at the University of Manchester. The group has a long history of research into …
Resilience, reliability, and coordination in autonomous multi-agent systems
Multi-agent systems is an evolving discipline that encompasses many different branches of
research. The long-standing Agents at Aberdeen (A 3) group undertakes research across …
research. The long-standing Agents at Aberdeen (A 3) group undertakes research across …
Verification and Validation of Adaptive Instructional Systems: A Text Mining Review
B Emond - International Conference on Human-Computer …, 2024 - Springer
The current paper aims at qualifying the distribution of academic papers related to
verification and validation of Adaptive Instructional Systems (AIS) and Adaptive software …
verification and validation of Adaptive Instructional Systems (AIS) and Adaptive software …
Increasing confidence in autonomous systems
Increasing Confidence in Autonomous Systems Page 1 Increasing Confidence in Autonomous
Systems Michael Fisher University of Manchester Manchester, UK michael.fisher@manchester.ac.uk …
Systems Michael Fisher University of Manchester Manchester, UK michael.fisher@manchester.ac.uk …
Applying Formal Methods to Build a Safe Continuous-Control Architecture for an Unmanned Aerial Vehicle
Abstract Cyber-Physical Systems (CPS) are systems composed of computational and
physical processes where constant interaction with the surrounding environment exists …
physical processes where constant interaction with the surrounding environment exists …
Verifying Autonomous Systems
LA Dennis - International Conference on Integrated Formal …, 2022 - Springer
This paper focuses on the work of the Autonomy and Verification Network (https://autonomy-
and-verification. github. io). In particular it will look at the use of model-checking to verify the …
and-verification. github. io). In particular it will look at the use of model-checking to verify the …