Pages that link to "Item:Q2921967"
From MaRDI portal
The following pages link to Synthesis and Verification of Uniform Strategies for Multi-agent Systems (Q2921967):
Displaying 5 items.
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints (Q2346410) (← links)
- (Q3384176) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- (Q5079765) (← links)
