Pages that link to "Item:Q2922017"
From MaRDI portal
The following pages link to Alternating Vector Addition Systems with States (Q2922017):
Displaying 9 items.
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Nonelementary Complexities for Branching VASS, MELL, and Extensions (Q2946760) (← links)
- Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time (Q3449481) (← links)
- On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension (Q3449486) (← links)
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036) (← links)
- Long-Run Average Behavior of Vector Addition Systems with States (Q5875389) (← links)
- On the complexity of resource-bounded logics (Q5915568) (← links)
- The ideal view on Rackoff's coverability technique (Q5925512) (← links)
- Round- and context-bounded control of dynamic pushdown systems (Q6564172) (← links)