Year: 2023
Type: article
Abstract: An attempt to provide a common language between formal models, simulations, real-world (testing) data, and regulatory mechanisms.
Source: Communications of the ACM
DOI: 10.1145/3574133
Authors: Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu
Language: English
Subfield: Safety, Risk, Reliability and Quality
Field: Engineering
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W4386091352
