Pause animated content
Skip to main content
Oxford Control and Verification
Department of Computer Science
Search form
Search
Home
Members
Publications
Software
Projects
Resources
Contacts
Resources
Expand All
Videos of Talks, Seminars, Conference Presentations
FORMATS 2020 Keynote - Alessandro Abate - Certified Learning or Learning for Verification? (YouTube video)
QEST 2019 Conference Talk - Viraj Wijesuriya - Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes
Alan Turing Institute - Alessandro Abate -Formal verification and learning of complex systems
U Cambridge 2017
- Alessandro Abate -
Sound and Automated Synthesis of Digital Controllers for Continuous Plants
Posters
IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) 2018, Oxford, UK
Bayes-Adaptive Search for Data-Efficient Verification of Parametric MDPs
StocHy: a new tool for the verification and control of stochastic processes
Bayesian Verification of Chemical Reaction Networks
Logically-Constrained Reinforcement Learning
Tropical Abstractions of Max-Plus-Linear Systems
Software
Please see the
Software page
Probabilistic Model Checking - Michaelmas Term 2021
Link
to course
AIMS System Verification - Hilary Term 2019
Practical Class Resources
Presentation
StocHy demo
Example
Computer-aided Formal Verification - Michaelmas Term 2018
Practical Class Resources
NUSMV Demo
Spin Demo
Spin TS1 Source
powered by
oxford mosaic
List of site pages