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...
| المؤلفون الرئيسيون: | , , , |
|---|---|
| التنسيق: | Conference item |
| منشور في: |
Springer
2016
|