Pages that link to "Item:Q1400291"
From MaRDI portal
The following pages link to Model-checking large structured Markov chains. (Q1400291):
Displaying 16 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)
- Symbolic state-space exploration and numerical analysis of state-sharing composed models (Q1434418) (← links)
- Structured analysis approaches for large Markov chains (Q1807701) (← links)
- Out of control: reducing probabilistic models by control-state elimination (Q2152665) (← links)
- Distributed disk-based algorithms for model checking very large Markov chains (Q2431769) (← 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)
- Multilevel solutions for structured Markov chains (Q2706260) (← links)
- A compositional framework for Markov processes (Q2798694) (← links)
- Compositional model checking of product-form CTMCs (Q2810967) (← links)
- Model Checking Interactive Markov Chains (Q3557065) (← links)
- Model checking interactive Markov chains (Q3646579) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479151) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703762) (← links)
