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):
Displaying 11 items.
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Active and sparse methods in smoothed model checking (Q832071) (← links)
- A Bayesian method of parameter identification and prediction of states of linear stationary dynamical systems (Q1117195) (← links)
- Data-efficient Bayesian verification of parametric Markov chains (Q1693116) (← 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)
- (Q2990095) (← links)
- Scenario-Based Verification of Uncertain MDPs (Q5039513) (← links)
- On the Complexity of Reachability in Parametric Markov Decision Processes (Q5875375) (← links)
- Sampling-Based Verification of CTMCs with Uncertain Rates (Q6399373) (← links)
- Parameter synthesis for Markov models: covering the parameter space (Q6564178) (← links)
