| | |
Summary: RHEINISCH-
WESTF¨ALISCHE
TECHNISCHE
HOCHSCHULE
AACHEN
LEHRSTUHL F¨UR INFORMATIK 2
RWTH Aachen · D-52056 Aachen
http://www-i2.informatik.rwth-aachen.de/ 2
Prof. Dr. Ir. J.-P. Katoen
F. Gretz & F. Sher
Modeling and Verification of Probabilistic Systems
Summer term 2011
Series 7
Hand in on 1st June before the exercise class.
Exercise 1 (2 points)
Give a deterministic Rabin automaton (DRA) that accepts the language defined by -regular expression
(a + b) · a.
Exercise 2 (8 points)
For the DTMC give below, find out the probability with which it satisfies the -regular property b by
following steps:
|
