Pages that link to "Item:Q1641028"
From MaRDI portal
The following pages link to Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028):
Displaying 9 items.
- Multi-objective optimization of long-run average and total rewards (Q2044201) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives (Q4635664) (← links)
- Verifying the Gaming Strategy of Self-learning Game by Using PRISM-Games (Q5117304) (← links)
- Submixing and shift-invariant stochastic games (Q6183353) (← links)
- Equilibria-based probabilistic model checking for concurrent stochastic games (Q6535956) (← links)
- Multi-agent verification and control with probabilistic model checking (Q6546442) (← links)
- Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games (Q6614884) (← links)
