Pages that link to "Item:Q2346407"
From MaRDI portal
The following pages link to Uniform strategies, rational relations and jumping automata (Q2346407):
Displaying 4 items.
- DEL-based epistemic planning: decidability and complexity (Q2211863) (← links)
- Multi-player games with LDL goals over finite traces (Q2225596) (← links)
- Model-checking graded computation-tree logic with finite path semantics (Q2285155) (← links)
- Observation and distinction: representing information in infinite games (Q2701064) (← links)
