Pages that link to "Item:Q1919769"
From MaRDI portal
The following pages link to McNaughton games and extracting strategies for concurrent programs (Q1919769):
Displaying 7 items.
- Update games and update networks (Q876693) (← links)
- Quantitative reductions and vertex-ranked infinite games (Q2029603) (← links)
- Extracting Winning Strategies in Update Games (Q3091450) (← links)
- (Q3384874) (← links)
- (Q5079761) (← links)
- (Q5232902) (← links)
- Differential Game Logic (Q5277902) (← links)