OXCAV - The Oxford Control & Verification group - is part of the Department of Computer Science at the University of Oxford, and is led by Prof. Alessandro Abate .
Our research interests lie in the formal verification and optimal control of heterogeneous and complex dynamical models, built from first principles or learnt from data. We blend in techniques from machine learning and AI , such as Bayesian inference, RL, and game theory.
Highlights of our work are the analysis of stochastic hybrid systems , applications in cyber-physical systems (smart energy and safety-critical autonomy), and modelling for the life sciences (systems biology).