The following pages link to (Q2848415):
Displaying 7 items.
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Qualitative Analysis of VASS-Induced MDPs (Q2811349) (← links)
- Playing with Repetitions in Data Words Using Energy Games (Q3300789) (← links)
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036) (← links)
- On-the-Fly Synthesis for Strictly Alternating Games (Q5100753) (← links)
- On the complexity of resource-bounded logics (Q5915568) (← links)
