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 8 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)
- Finding Uniform Strategies for Multi-agent Systems (Q3582739) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- (Q4999204) (← links)
- (Q5079765) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)