The following pages link to Vadim Malvone (Q1641033):
Displaying 5 items.
- Graded modalities in strategy logic (Q1641034) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Natural strategic ability (Q2289013) (← links)
- Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications (Q5076330) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)
