Analysing the Safety of Decision-Making in Autonomous Systems

Osborne, Matt, Hawkins, Richard, McDermid, John · Lecture Notes in Computer Science · 2022