Pages that link to "Item:Q2248068"
From MaRDI portal
The following pages link to Automatic verification of competitive stochastic systems (Q2248068):
Displaying 22 items.
- A computationally grounded, weighted doxastic logic (Q310087) (← links)
- Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games (Q520343) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment (Q1666714) (← links)
- A uniformization-based algorithm for continuous-time stochastic games model checking (Q1757155) (← links)
- Comparison of algorithms for simple stochastic games (Q2105472) (← links)
- Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q2672267) (← links)
- Automatic Verification of Competitive Stochastic Systems (Q2894279) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Model Checking Exact Cost for Attack Scenarios (Q3304816) (← links)
- (Q5090455) (← links)
- Automated Verification of Concurrent Stochastic Games (Q6104811) (← links)
- Optimistic and topological value iteration for simple stochastic games (Q6160920) (← links)
- Formal modelling and verification of probabilistic resource bounded agents (Q6190087) (← links)
- Playing Against Fair Adversaries in Stochastic Games with Total Rewards (Q6487330) (← links)
- Correlated equilibria and fairness in concurrent stochastic games (Q6535606) (← links)
- Equilibria-based probabilistic model checking for concurrent stochastic games (Q6535956) (← links)
- Multi-agent verification and control with probabilistic model checking (Q6546442) (← links)
- Positivity-hardness results on Markov decision processes (Q6566469) (← links)
- Entropic risk for turn-based stochastic games (Q6647757) (← links)
