Pages that link to "Item:Q6399373"
From MaRDI portal
The following pages link to Sampling-Based Verification of CTMCs with Uncertain Rates (Q6399373):
Displaying 4 items.
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
- Sampling-Based Verification of CTMCs with Uncertain Rates (Q6399373) (← links)
- An MM algorithm to estimate parameters in continuous-time Markov chains (Q6546449) (← links)
- Parameter synthesis for Markov models: covering the parameter space (Q6564178) (← links)