The following pages link to Validation of Stochastic Systems (Q5325844):
Displaying 9 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- On finite-state approximants for probabilistic computation tree logic (Q2576951) (← links)
- Least upper bounds for probability measures and their applications to abstractions (Q2637319) (← links)
- On Abstraction of Probabilistic Systems (Q2937733) (← links)
- Abstraction of Probabilistic Systems (Q3510828) (← links)
- Abstraction for Stochastic Systems by Erlang’s Method of Stages (Q3541024) (← links)
