Skip to main content

Video - Probabilistic model checking of labelled Markov processes

Marta Kwiatkowska, "Probabilistic model checking of labelled Markov processes"