Wang, Y. . (2022). A Formal Theory of AI Trustworthiness for Evaluating Autonomous AI Systems. In (pp. 137–142). Prague, Czech Republic: IEEE. http://doi.org/10.1109/SMC53654.2022.9945351 (Original work published 2024)