Trustworthy Autonomous Systems Through Verifiability

Mousavi, Mohammad Reza; Cavalcanti, Ana; Fisher, Michael; Dennis, Louise A.; Hierons, Robert M.; Kaddouh, Bilal; Law, Effie Lai‐Chong; Richardson, Rob; Ringert, Jan Oliver; Tyukin, Ivan; Woodcock, Jim

doi:10.1109/mc.2022.3192206

Cited by 3 publications

(2 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Autonomous systems are the result of an integration of software, hardware, and communication systems that enables decision-making with minimal intervention required from their users (Mousavi et al, 2022). Examples of such systems include pacemakers and implantable defibrillators, drones and unmanned aerial vehicles (UAVs), and chatbots.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Trustworthy Autonomous Systems (TAS): The Verifiability Approach

Mousavi

2022

Entornos Híbridos en La Pospandemia: Posibilidades Para Las Nuevas Tecnologías. Congreso Internacional De Ingeniería De Sistema

View full text Add to dashboard Cite

Autonomous systems are taking over the decision-making in many crucial aspects of our lives. Trust in them will help users benefit from such systems without harming themselves. Establishing the right level of trust involves a holistic validation and verification process, accounting for aspects such as interactions with the physical world and human users. In this talk, I present our ongoing effort to provide a holistic framework for ensuring the verifiability of autonomous systems.

show abstract

Section: Introductionmentioning

confidence: 99%

“…Establishing the right level of trust involves gathering and communicating sufficient evidence for the system's safety and usefulness. A holistic validation and verification process is an essential ingredient for providing such evidence (Mousavi et al, 2022;Araujo et al, 2022).…”

Section: Introductionmentioning

confidence: 99%