Pages that link to "Item:Q2289016"
From MaRDI portal
The following pages link to Approximate verification of strategic abilities under imperfect information (Q2289016):
Displaying 7 items.
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications (Q5076330) (← links)
- (Q5079765) (← links)
- Towards Partial Order Reductions for Strategic Ability (Q5121410) (← links)
- (Q5144683) (← links)
- Theoretical Computer Science (Q5395080) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)