Title: Verifiable Autonomous Systems