Pages that link to "Item:Q5076330"
From MaRDI portal
The following pages link to Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications (Q5076330):
Displaying 4 items.
- Exponential improvement of time complexity of model checking for multiagent systems with perfect recall (Q1938921) (← links)
- (Q5079765) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)
- Runtime Verification with Imperfect Information Through Indistinguishability Relations (Q6111611) (← links)