Pages that link to "Item:Q600979"

The following pages link to A game-based abstraction-refinement framework for Markov decision processes (Q600979):

Displaying 24 items.

• A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
• Model checking finite-horizon Markov chains with probabilistic inference (Q832295) (← links)
• Abstract model repair for probabilistic systems (Q1706149) (← links)
• The complexity of synchronizing Markov decision processes (Q1740670) (← links)
• Probabilistic verification of Herman's self-stabilisation algorithm (Q1941879) (← links)
• Probabilistic guarantees for safe deep reinforcement learning (Q1996032) (← links)
• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
• Comparison of algorithms for simple stochastic games (Q2105472) (← links)
• Out of control: reducing probabilistic models by control-state elimination (Q2152665) (← links)
• Collaborative models for autonomous systems controller synthesis (Q2198131) (← links)
• Model checking for probabilistic timed automata (Q2248072) (← links)
• Local abstraction refinement for probabilistic timed programs (Q2453108) (← links)
• Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
• Interval iteration algorithm for MDPs and IMDPs (Q2636515) (← links)
• Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q2672267) (← links)
• On Abstraction of Probabilistic Systems (Q2937733) (← links)
• Model Checking Probabilistic Systems (Q3176386) (← links)
• Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops (Q3297595) (← links)
• Reachability in MDPs: Refining Convergence of Value Iteration (Q3447700) (← links)
• Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions (Q3447704) (← links)
• Stochastic Games for Verification of Probabilistic Timed Automata (Q3648833) (← links)
• (Q5021007) (← links)
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)
• Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)