Dynamic certification for autonomous systems

Other authors

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

Publication date

2023-09

Abstract

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


Peer Reviewed


Postprint (published version)

Document Type

Article

Language

English

Related items

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

Recommended citation

This citation was generated automatically.

Rights

Open Access

This item appears in the following Collection(s)

E-prints [72987]