The following pages link to Best Probabilistic Transformers (Q3656896):
Displaying 4 items.
- A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
- Out of control: reducing probabilistic models by control-state elimination (Q2152665) (← links)
- Local abstraction refinement for probabilistic timed programs (Q2453108) (← links)
- On Abstraction of Probabilistic Systems (Q2937733) (← links)
