Verifiable Autonomous Systems | lit.salon