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...
| Principais autores: | , , , |
|---|---|
| Formato: | Conference item |
| Publicado em: |
Springer
2016
|