The following pages link to (Q4472227):
Displaying 13 items.
- PRISM (Q13928) (← links)
- Synthesizing efficient systems in probabilistic environments (Q300419) (← links)
- Model checking finite-horizon Markov chains with probabilistic inference (Q832295) (← links)
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- Query-based verification of qualitative trends and oscillations in biochemical systems (Q969178) (← links)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Q1014561) (← links)
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
- Model-checking large structured Markov chains. (Q1400291) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- On process rate semantics (Q2474433) (← links)
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes (Q2575731) (← links)
- (Q3384159) (← links)
- Analysing Biochemical Oscillation through Probabilistic Model Checking (Q5404071) (← links)
