Welcome to OXCAV

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). 


See our Projects page for a list of ongoing and recent research initiatives. 

A few resources for research (from published or presented material), and for teaching (from courses and workshops) are here

We are keen to perform open science, with processes that are repeatable, reproducible, and replicable. In our work, this translates to developing and sharing data and code, and to developing software tools, most of which are available on git (or similar platforms), and often packaged and published as 'Tool Papers' - please see here


Expand All

We are glad to report that the article `Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise' will be presented at AAAI 2022. A preprint is available on the ArXiV. 


We are glad to announce that the article titled “A Randomized Algorithm to Reduce the Support of Discrete Measures,” authored by F. Cosentino, H. Oberhauser and A. Abate, has been accepted with spotlight presentation at NeurIPS 2020.

DPhil student Joe Brown and co-authors, Jonathan Chambers (Geneva), Alex Rogers and Alessandro Abate, were Best Paper runner-up at the ACM International Conference on Systems for Energy-Efficient Built Environments (BuildSys 2020) conference. The winning paper was SMITE: Using Smart Meters to Infer the Thermal Efficiency of Residential Homes.

We are glad to announce that Gareth Molyneux has been presented the award for the article titled "ABC(SMC)^2: Simultaneous inference and model checking of chemical reaction networks," which was accepted and recently presented at this conference.

Recent publications