Andrew Kokoev has a fascinating paper on High Trust Autonomous Systems.