Data-efficient Bayesian verification of parametric Markov chains
Obtaining complete and accurate models for the formal verification of systems is often hard or impossible. We present a data-based verification approach, for properties expressed in a probabilistic logic, that addresses incomplete model knowledge. We obtain experimental data from a system that can b...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2016
|