Pages that link to "Item:Q1400291"
From MaRDI portal
The following pages link to Model-checking large structured Markov chains. (Q1400291):
Displaying 8 items.
- Computing bottom SCCs symbolically using transition guided reduction (Q832201) (← links)
- CSL model checking algorithms for QBDs (Q995462) (← links)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Q1014561) (← links)
- Out of control: reducing probabilistic models by control-state elimination (Q2152665) (← links)
- Statistical probabilistic model checking with a focus on time-bounded properties (Q2509358) (← links)
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes (Q2575731) (← links)
- A compositional framework for Markov processes (Q2798694) (← links)
- Compositional Model Checking of product-form CTMCs (Q2810967) (← links)
