Analysing the Safety of Decision-Making in Autonomous Systems.

Matt Osborne, Richard Hawkins, John A. McDermid

Browse the full SAFECOMP paper archive.