Probabilistic Verification for “Black-Box” Systems

Håkan L. S. Younes

We explore the concept of a “black-box” stochastic system, and propose an algorithm for verifying probabilistic properties of such systems based on very weak assumptions regarding system dynamics. Properties are expressed as formulae in a probabilistic temporal logic. Our presentation is a generalization of and an improvement over recent work by Sen et al. on probabilistic verification for “black-box” systems.

Full paper: PDF (13 pages, 15 references)
© Springer-Verlag Berlin Heidelberg 2005

Presentation: PPT, PDF (29 slides)

Håkan L. S. Younes Valid CSS! Valid XHTML 1.0!
Last modified: Mon Mar 20 11:09:42 EST 2006