Quantitative verification

Prof. Jan Kretinsky, Winter semester 2016/17

Overview

Content

Material

Lectures: Exercises: Here you can find another course on quantitative verification, focusing on probabilistic systems.