Pages that link to "Item:Q259074"
From MaRDI portal
The following pages link to Smoothed model checking for uncertain continuous-time Markov chains (Q259074):
Displaying 10 items.
- Active and sparse methods in smoothed model checking (Q832071) (← links)
- Model checking Markov population models by stochastic approximations (Q1784959) (← links)
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models (Q2238218) (← links)
- Precise parameter synthesis for stochastic biochemical systems (Q2407983) (← links)
- Deniable Functional Encryption (Q2798776) (← links)
- Sequential Convex Programming for the Efficient Verification of Parametric MDPs (Q3303926) (← links)
- Geometric fluid approximation for general continuous-time Markov chains (Q5160758) (← links)
- Efficient sensitivity analysis for parametric robust Markov chains (Q6535680) (← links)
- Parameter synthesis for Markov models: covering the parameter space (Q6564178) (← links)
- Statistical abstraction for multi-scale spatio-temporal systems (Q6600063) (← links)
