Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines - Dennis, Louise A.; Fisher, Michael 1962- (Cambridge University Press, 2023)