Formal Verification and Learning of Complex Systems - Professor Alessandro Abate
Alan Turing Institute via YouTube
Overview
Syllabus
Intro
Automated formal verification successes and frontiers
Automated formal verification pushing the envelope
Building automation systems an exemplar of CPS
Building automation systems - a CPS exemplar
Building automation systems - problem setup
Learning and verification state of art and objective
Overview of method
Parametric Markov chains
Parameter synthesis
Bayesian inference
Confidence computation
Case study experiments
Dual role of actions in MDP
Strategy Synthesis for experiment design
Case study setup
Extensions to other model classes
Applications of method
Taught by
Alan Turing Institute