The following pages link to (Q4737201):
Displaying 12 items.
- Efficient CTL model-checking for pushdown systems (Q402129) (← links)
- A saturation method for the modal \(\mu \)-calculus over pushdown systems (Q532393) (← links)
- Exploring the boundary of half-positionality (Q656821) (← links)
- Note on winning positions on pushdown games with \(\omega\)-regular conditions (Q1007544) (← links)
- Modular strategies for recursive game graphs (Q2368953) (← links)
- (Q2842876) (← links)
- Model Checking Procedural Programs (Q3176375) (← links)
- (Q5005144) (← links)
- (Q5021006) (← links)
- Optimally Resilient Strategies in Pushdown Safety Games (Q5089248) (← links)
- Domains for Higher-Order Games (Q5111275) (← links)
- A Branching Time Variant of CaRet (Q5883579) (← links)
