Towards verifying neural autonomous systems

Abstract

In this talk I will offer a personal perspective on the increasing challenges and the correspondingly more powerful solutions being developed in the area of verification of autonomous system. I will ground the presentation on the work carried out with several colleagues over the years in the Verification of Autonomous Systems at Imperial College London [32].