Skip to main content
Search form
Search
Previous
Pause
Next
Home
Menu
Home
People
Publications
Software
Projects
Resources
Latest News
Contact Us
-
A
A
+
A
Resources
Talks
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
AIMS System Verification - Hilary 2019
Practical Class Resources
Presentation
StocHy demo
Example
Computer-aided Formal Verification - Michaelmas 2018
Practical Class Resources
NUSMV Demo
Spin Demo
Spin TS1 Source
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
USEFUL LINKS
Department of Computer Science, Oxford
EPSRC Centre for Doctoral Training in AIMS
EPSRC/BBSRC Centre for Doctoral Training in Synthetic Biology
MORE USEFUL LINKS
University of Oxford
Verification Seminars
Cyber-physical Systems Seminars
The Alan Turing Institute
GET IN TOUCH WITH US
CONTACT US
Oxford Control and Verification (OXCAV) Group
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767
Education - This is a contributing Drupal Theme
Design by
WeebPal
.