Pages that link to "Item:Q2324239"
From MaRDI portal
The following pages link to Bayesian statistical parameter synthesis for linear temporal properties of stochastic models (Q2324239):
Displayed 7 items.
- Active and sparse methods in smoothed model checking (Q832071) (← links)
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models (Q2238218) (← links)
- The complexity of reachability in parametric Markov decision processes (Q2662678) (← links)
- Scenario-Based Verification of Uncertain MDPs (Q5039513) (← links)
- On the Complexity of Reachability in Parametric Markov Decision Processes (Q5875375) (← links)
- Parameter synthesis in Markov models: a gentle survey (Q6113987) (← links)
- Sampling-Based Verification of CTMCs with Uncertain Rates (Q6399373) (← links)