Pages that link to "Item:Q1951589"
From MaRDI portal
The following pages link to Pushdown module checking with imperfect information (Q1951589):
Displaying 6 items.
- Ordered multi-stack visibly pushdown automata (Q344793) (← links)
- Automata-theoretic decision of timed games (Q386611) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Model checking properties on reduced trace systems (Q1736621) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- (Q3384177) (← links)