Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance About Decisions Made by Machines (en Inglés)

Louise A. Dennis; Michael Fisher · Cambridge University Press