DOI: 10.1145/3574133 ISSN:
Dynamic Certification for Autonomous Systems
Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu- General Computer Science
An attempt to provide a common language between formal models, simulations, real-world (testing) data, and regulatory mechanisms.