Pages that link to "Item:Q1675146"
From MaRDI portal
The following pages link to Reachability in succinct one-counter games (Q1675146):
Displaying 10 items.
- Games with 1-backtracking (Q636360) (← links)
- The complexity of short two-person games (Q1173637) (← links)
- Reachability is decidable in the numbers game (Q1331936) (← links)
- On decidability and complexity of low-dimensional robot games (Q2009641) (← links)
- Reachability games with relaxed energy constraints (Q2672231) (← links)
- Bounding Average-Energy Games (Q2988367) (← links)
- (Q5020520) (← links)
- Optimally Resilient Strategies in Pushdown Safety Games (Q5089248) (← links)
- On the Complexity of Counter Reachability Games (Q5168525) (← links)
- Countdown games, and simulation on (succinct) one-counter nets (Q5883735) (← links)