The following pages link to (Q5089272):
Displayed 4 items.
- Model checking finite-horizon Markov chains with probabilistic inference (Q832295) (← links)
- Out of control: reducing probabilistic models by control-state elimination (Q2152665) (← links)
- On divergence-sensitive weak probabilistic bisimilarity (Q6040671) (← links)
- Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)