dc.contributor.author | Mousavi, Mohammad Reza | |
dc.date.accessioned | 2023-01-30T18:14:03Z | |
dc.date.available | 2023-01-30T18:14:03Z | |
dc.date.issued | 2022 | |
dc.identifier.citation | Mousavi, M. R. (2022). Trustworthy Autonomous Systems (TAS): The Verifiability Approach. En Universidad de Lima (Ed.), Entornos híbridos en la pospandemia: posibilidades para las nuevas tecnologías. Actas del Congreso Internacional de Ingeniería de Sistemas (pp. 27-29), Lima, 10 al 12 de octubre del 2022. Universidad de Lima, Fondo Editorial. https://doi.org/10.26439/ciis2022.6063 | es_PE |
dc.identifier.uri | https://hdl.handle.net/20.500.12724/17514 | |
dc.description.abstract | 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. | en_EN |
dc.description.abstract | Los sistemas autónomos se están haciendo cargo de la toma de decisiones en muchos aspectos cruciales de nuestras vidas. Confiar en ellos ayudará a sus usuarios a beneficiarse de dichos sistemas sin dañarse a sí mismos. Establecer el nivel adecuado de confianza implica un proceso holístico de validación y verificación, que tiene en cuenta aspectos como las interacciones con el mundo físico y los usuarios humanos. En esta charla, presento nuestro esfuerzo continuo para proporcionar un marco holístico para garantizar la verificabilidad de los sistemas autónomos. | es_PE |
dc.format | application/pdf | es_PE |
dc.language.iso | spa | es_PE |
dc.publisher | Universidad de Lima | es_PE |
dc.rights | info:eu-repo/semantics/openAccess | es_PE |
dc.rights.uri | https://creativecommons.org/licenses/by/4.0/deed.es | * |
dc.source | Repositorio Institucional - Ulima | es_PE |
dc.source | Universidad de Lima | es_PE |
dc.subject | Pendiente | es_PE |
dc.title | Trustworthy Autonomous Systems (TAS):
The Verifiability Approach | en_EN |
dc.title.alternative | Sistemas Autónomos Confiables (TAS): el enfoque de la verificabilidad | es_PE |
dc.type | info:eu-repo/semantics/conferenceObject | es_PE |
dc.type.other | Artículo de conferencia | |
dc.publisher.country | PE | es_PE |
dc.description.peer-review | Revisado por pares | |
dc.subject.ocde | https://purl.org/pe-repo/ocde/ford#2.02.04 | es_PE |
dc.identifier.doi | https://doi.org/10.26439/ciis2022.6063 | |