The following pages link to Theoretical Computer Science (Q5395080):
Displaying 11 items.
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- Model checking abilities of agents: a closer look (Q2481560) (← links)
- Model Checking Logics of Strategic Ability: Complexity* (Q3056329) (← links)
- SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems (Q3133186) (← links)
- (Q3384176) (← links)
- Constructive knowledge: what agents can achieve under imperfect information (Q3647280) (← links)
- (Q4999204) (← 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)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)