Examens corriges

Quantitative Verification ? Exercise sheet 8

Exercise 8.3. For each of the following properties, draw a labelled Markov Chain which satisfies it or argue why the property is unsatisfiable.



Télécharger