Oxford Control and Verification
Department of Computer Science
- 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
IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) 2018, Oxford, UK
Please see the Software page
Link to course