Pages that link to "Item:Q3460580"
From MaRDI portal
The following pages link to Hierarchical Information Patterns and Distributed Strategy Synthesis (Q3460580):
Displayed 5 items.
- Infinite games with finite knowledge gaps (Q528188) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Hierarchical information and the synthesis of distributed strategies (Q1629748) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- (Q5013877) (← links)