Pages that link to "Item:Q3133186"
From MaRDI portal
The following pages link to SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems (Q3133186):
Displaying 5 items.
- Knowledge-based strategies for multi-agent teams playing against nature (Q2152496) (← links)
- Model checking and strategy synthesis for multi-agent systems for resource allocation (Q2154045) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- Finding Uniform Strategies for Multi-agent Systems (Q3582739) (← links)
- Towards Partial Order Reductions for Strategic Ability (Q5121410) (← links)