Dynamic certification for autonomous systems

An attempt to provide a common language between formal models, simulations, real-world (testing) data, and regulatory mechanisms.

Detalles Bibliográficos
Autores: Bakirtzis, Georgios|||0000-0003-4992-0193, Carr, Steven, Danks, David, Topcu, Ufuk
Tipo de recurso: artículo
Fecha de publicación:2023
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/408226
Acceso en línea:https://hdl.handle.net/2117/408226
https://dx.doi.org/10.1145/3574133
Access Level:acceso abierto
Palabra clave:Adaptive control systems
Sistemes adaptatius
Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Sistemes experts
Descripción
Sumario:An attempt to provide a common language between formal models, simulations, real-world (testing) data, and regulatory mechanisms.