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...
| Prif Awduron: | , , , |
|---|---|
| Fformat: | Conference item |
| Cyhoeddwyd: |
Springer
2016
|