Pages that link to "Item:Q5450572"
From MaRDI portal
The following pages link to Monotonic and Downward Closed Games (Q5450572):
Displaying 7 items.
- On decidability and complexity of low-dimensional robot games (Q2009641) (← links)
- Qualitative Analysis of VASS-Induced MDPs (Q2811349) (← links)
- Games for counting abstractions (Q2848415) (← links)
- Playing with Repetitions in Data Words Using Energy Games (Q3300789) (← links)
- Computer Science Logic (Q5292620) (← links)
- The ideal view on Rackoff's coverability technique (Q5925512) (← links)
- Process equivalence problems as energy games (Q6535628) (← links)