Chapter

Computer Aided Verification

Volume 3576 of the series Lecture Notes in Computer Science pp 253-265

Probabilistic Verification for “Black-Box” Systems

  • Håkan L. S. YounesAffiliated withComputer Science Department, Carnegie Mellon University

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.