The following pages link to Vadim Malvone (Q1641033):
Displaying 8 items.
- Graded modalities in strategy logic (Q1641034) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Natural strategic ability (Q2289013) (← links)
- Additional Winning Strategies in Reachability Games*† (Q4637884) (← links)
- (Q4999204) (← links)
- Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications (Q5076330) (← links)
- A Hennessy-Milner Theorem for ATL with Imperfect Information (Q5145630) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)
