The following pages link to (Q5144652):
Displaying 8 items.
- On decidability and complexity of low-dimensional robot games (Q2009641) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Deciding Fast Termination for Probabilistic VASS with Nondeterminism (Q3297606) (← links)
- Playing with Repetitions in Data Words Using Energy Games (Q3300789) (← links)
- (Q5009445) (← links)
- (Q5875382) (← links)
- On the complexity of resource-bounded logics (Q5915568) (← links)
- Stochastic games with lexicographic objectives (Q6632196) (← links)