A Formal Theory of AI Trustworthiness for Evaluating Autonomous AI Systems | IEEE Conference Publication | IEEE Xplore