Completed
Automated formal verification successes and frontiers
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Formal Verification and Learning of Complex Systems - Professor Alessandro Abate
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Automated formal verification successes and frontiers
- 3 Automated formal verification pushing the envelope
- 4 Building automation systems an exemplar of CPS
- 5 Building automation systems - a CPS exemplar
- 6 Building automation systems - problem setup
- 7 Learning and verification state of art and objective
- 8 Overview of method
- 9 Parametric Markov chains
- 10 Parameter synthesis
- 11 Bayesian inference
- 12 Confidence computation
- 13 Case study experiments
- 14 Dual role of actions in MDP
- 15 Strategy Synthesis for experiment design
- 16 Case study setup
- 17 Extensions to other model classes
- 18 Applications of method
