Dynamic Certification for Autonomous Systems: An attempt to provide a common language between formal models, simulations, real-world (testing) data, and regulatory mechanisms.
| Autor: | BAKIRTZIS, GEORGIOS1 bakirtzis@utexas.edu, CARR, STEVEN2, DANKS, DAVID3, TOPCU, UFUK4 |
|---|---|
| Zdroj: | Communications of the ACM. Sep2023, Vol. 66 Issue 9, p64-72. 9p. 2 Color Photographs, 1 Diagram, 1 Graph. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|