The following pages link to (Q4813198):
Displayed 9 items.
- Confluence reduction for Markov automata (Q507382) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time (Q2453113) (← links)
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes (Q2575731) (← links)
- Least upper bounds for probability measures and their applications to abstractions (Q2637319) (← links)
- On Abstraction of Probabilistic Systems (Q2937733) (← links)
- Probabilistic CEGAR (Q3512491) (← links)
- (Q5129946) (← links)
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)