Pages that link to "Item:Q4800258"
From MaRDI portal
The following pages link to Permissive strategies: from parity games to safety games (Q4800258):
Displayed 9 items.
- Down the Borel hierarchy: solving Muller games via safety games (Q477197) (← links)
- Assume-admissible synthesis (Q520340) (← links)
- Shield synthesis (Q1696587) (← links)
- Strategy construction for parity games with imperfect information (Q1959483) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- Compositional construction of most general controllers (Q2350495) (← links)
- A Compositional Framework for Controller Synthesis (Q3090853) (← links)
- Measuring Permissivity in Finite Games (Q3184674) (← links)
- Computing Weakest Strategies for Safety Games of Imperfect Information (Q3617754) (← links)