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