The following pages link to Anders Mariegaard (Q1683446):
Displayed 4 items.
- Symbolic dependency graphs for \(\mathrm {PCTL}^{>}_{\leq}\) model-checking (Q1683447) (← links)
- Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) (← links)
- Parametric Verification of Weighted Systems (Q5240155) (← links)
- Quantitative analysis of interval Markov chains (Q6041189) (← links)