Dynamic Certification for Autonomous Systems

Open Webpage

Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu

Published: 01 Jan 2023, Last Modified: 14 Aug 2024Commun. ACM 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: An attempt to provide a common language between formal models, simulations, real-world (testing) data, and regulatory mechanisms.