Pages that link to "Item:Q2226751"

The following pages link to Stochastic games with lexicographic reachability-safety objectives (Q2226751):

Displaying 3 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)
• (Q6134270) (← links)