Pages that link to "Item:Q4635789"
From MaRDI portal
The following pages link to Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete (Q4635789):
Displayed 17 items.
- Forward analysis and model checking for trace bounded WSTS (Q290914) (← links)
- 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)
- Trace inclusion for one-counter nets revisited (Q2636512) (← links)
- On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension (Q3449486) (← links)
- (Q4968382) (← links)
- (Q5009428) (← links)
- Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States (Q5089288) (← links)
- (Q5089304) (← links)
- (Q5089314) (← links)
- (Q5089315) (← links)
- (Q5090970) (← links)
- (Q5092425) (← links)
- (Q5136335) (← links)
- (Q5875390) (← links)
- On the complexity of resource-bounded logics (Q5915568) (← links)
- Coverability in 2-VASS with one unary counter is in NP (Q6091190) (← links)