Verifiable Autonomous Systems Using Rational Agents to Provide Assurance about Decisions Made by Machines Dennis, Louise A. Innbundet / 2023 / Engelsk
