Pages that link to "Item:Q785241"
From MaRDI portal
The following pages link to Verification of multi-agent systems with public actions against strategy logic (Q785241):
Displaying 5 items.
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- (Q4999204) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)
- Robust alternating-time temporal logic (Q6545584) (← links)