Slide 1 Probabilistic Verification of Discrete Event Systems Håkan L. S. Younes Reid G. Simmons (initial work performed at HTC, Summer 2001) Slide 2 May 30, 2002Carnegie…
