Dynamic certification for autonomous systems

Otros/as autores/as

Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC

Universitat Politècnica de Catalunya. RIIS - Grup de Recerca en Recursos i Indústries Intel·ligents i Sostenibles

Fecha de publicación

2023-09

Resumen

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


Peer Reviewed


Postprint (published version)

Tipo de documento

Article

Lengua

Inglés

Documentos relacionados

https://dl.acm.org/doi/10.1145/3574133

Citación recomendada

Esta citación se ha generado automáticamente.

Derechos

Open Access

Este ítem aparece en la(s) siguiente(s) colección(ones)

E-prints [73026]