Verifiable Autonomous Systems