Pages that link to "Item:Q2346410"
From MaRDI portal
The following pages link to Reasoning about memoryless strategies under partial observability and unconditional fairness constraints (Q2346410):
Displaying 7 items.
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- Natural strategic ability (Q2289013) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- (Q3384176) (← links)
- Navigability with intermediate constraints (Q4612453) (← links)
- (Q5079765) (← links)