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 4 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)
- Submixing and shift-invariant stochastic games (Q6183353) (← links)
