Pages that link to "Item:Q3587462"
From MaRDI portal
The following pages link to Reachability Games on Extended Vector Addition Systems with States (Q3587462):
Displayed 18 items.
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Maker-breaker percolation games. II: Escaping to infinity (Q1984532) (← links)
- On decidability and complexity of low-dimensional robot games (Q2009641) (← links)
- Weighted automata on infinite words in the context of attacker-defender games (Q2013554) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- The complexity of multi-mean-payoff and multi-energy games (Q2343132) (← links)
- On effective construction of the greatest solution of language inequality \(XA\subseteq BX\) (Q2437851) (← links)
- On Robot Games of Degree Two (Q2799175) (← links)
- Optimal Bounds for Multiweighted and Parametrised Energy Games (Q2842640) (← links)
- Energy Games in Multiweighted Automata (Q3105747) (← links)
- Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (Q3195698) (← links)
- Playing with Repetitions in Data Words Using Energy Games (Q3300789) (← links)
- Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time (Q3449481) (← links)
- (Q5013876) (← links)
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036) (← links)
- (Q5111624) (← links)
- (Q5227517) (← links)
- On the complexity of resource-bounded logics (Q5915568) (← links)