Pages that link to "Item:Q345709"
From MaRDI portal
The following pages link to Reasoning about equilibria in game-like concurrent systems (Q345709):
Displaying 16 items.
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Graded modalities in strategy logic (Q1641034) (← links)
- Multi-player equilibria verification for concurrent stochastic games (Q2056983) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Multi-player games with LDL goals over finite traces (Q2225596) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games (Q2787450) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- Deterministic Negotiations: Concurrency for Free (Q3190106) (← links)
- (Q4972730) (← links)
- (Q5111630) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465882) (← links)
- On the complexity of rational verification (Q6133701) (← links)
- Incentive Engineering for Concurrent Games (Q6199620) (← links)
- Correlated equilibria and fairness in concurrent stochastic games (Q6535606) (← links)
