Find out how to access preview-only content
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
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.
- Title
- Probabilistic Verification for “Black-Box” Systems
- Book Title
- Computer Aided Verification
- Book Subtitle
- 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
- Pages
- pp 253-265
- Copyright
- 2005
- DOI
- 10.1007/11513988_25
- Print ISBN
- 978-3-540-27231-1
- Online ISBN
- 978-3-540-31686-2
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 3576
- Series ISSN
- 0302-9743
- Publisher
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Topics
- Industry Sectors
- eBook Packages
- Editors
-
- Kousha Etessami (16)
- Sriram K. Rajamani (17)
- Editor Affiliations
-
- 16. LFCS, School of Informatics, University of Edinburgh
- 17. Microsoft Research India
- Authors
-
- Håkan L. S. Younes (18)
- Author Affiliations
-
- 18. Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, 15213, USA
Continue reading...
To view the rest of this content please follow the download PDF link above.