Pages that link to "Item:Q1641035"
From MaRDI portal
The following pages link to Imperfect information in reactive modules games (Q1641035):
Displaying 4 items.
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- On the complexity of rational verification (Q6133701) (← links)
- The complexity of LTL rational synthesis (Q6535558) (← links)