Pages that link to "Item:Q1028639"
From MaRDI portal
The following pages link to Reasoning about temporal properties of rational play (Q1028639):
Displayed 6 items.
- Norm-based mechanism design (Q322076) (← links)
- Where logic and agents meet (Q657584) (← links)
- Natural strategic ability (Q2289013) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)