Trustworthy Autonomous Systems (TAS): The Verifiability Approach

• Autor: Mousavi, Mohammad Reza
• Formato: objeto de conferencia
• Fecha de Publicación: 2022
• Institución: Universidad de Lima
• Repositorio: ULIMA-Institucional
• Lenguaje: español
• OAI Identifier: oai:repositorio.ulima.edu.pe:20.500.12724/17514
• Enlace del recurso: https://hdl.handle.net/20.500.12724/17514; https://doi.org/10.26439/ciis2022.6063
• Nivel de acceso: acceso abierto
• Materia: Pendiente; https://purl.org/pe-repo/ocde/ford#2.02.04

utonomous 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 veri-fiability of autonomous systems.