Pages that link to "Item:Q4598136"

The following pages link to Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk) (Q4598136):

Displaying 2 items.

• Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)