Pages that link to "Item:Q2226751"
From MaRDI portal
The following pages link to Stochastic games with lexicographic reachability-safety objectives (Q2226751):
Displayed 4 items.
- 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)
- Symbolic verification and strategy synthesis for turn-based stochastic games (Q6113986) (← links)
- (Q6134270) (← links)