Pages that link to "Item:Q1693116"
From MaRDI portal
The following pages link to Data-efficient Bayesian verification of parametric Markov chains (Q1693116):
Displaying 4 items.
- Data-driven and model-based verification via Bayesian identification and reachability analysis (Q2409334) (← links)
- Case Studies in Data-Driven Verification of Dynamical Systems (Q2988966) (← links)
- Efficient sensitivity analysis for parametric robust Markov chains (Q6535680) (← links)
- Parameter synthesis for Markov models: covering the parameter space (Q6564178) (← links)