Formal Development of Policing Functions for Intelligent Systems.

Chris Bogdiukiewicz, Michael J. Butler, Thai Son Hoang, Martin Paxton, James Snook, Xanthippe Waldron, Toby Wilkinson

Browse the full ISSRE paper archive.