Quantitative verification

Prof. Jan Kretinsky, Winter semester 2017/18

Overview

News

Content

Material

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