Dynamic certification for autonomous systems

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

Bibliographic Details
Authors: Bakirtzis, Georgios|||0000-0003-4992-0193, Carr, Steven, Danks, David, Topcu, Ufuk
Format: article
Publication Date:2023
Country:España
Institution:Universitat Politècnica de Catalunya (UPC)
Repository:UPCommons. Portal del coneixement obert de la UPC
Language:English
OAI Identifier:oai:upcommons.upc.edu:2117/408226
Online Access:https://hdl.handle.net/2117/408226
https://dx.doi.org/10.1145/3574133
Access Level:Open access
Keyword: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
Description
Summary:An attempt to provide a common language between formal models, simulations, real-world (testing) data, and regulatory mechanisms.