Pages that link to "Item:Q2407463"
From MaRDI portal
The following pages link to From model checking to equilibrium checking: reactive modules for rational verification (Q2407463):
Displaying 10 items.
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Imperfect information in reactive modules games (Q1641035) (← links)
- A logic for conditional local strategic reasoning (Q2155205) (← 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)
- Natural strategic ability (Q2289013) (← links)
- Mean-payoff games with \(\omega\)-regular specifications (Q2669180) (← links)
- Cooperative concurrent games (Q2680769) (← links)
- (Q5875383) (← links)
- On the complexity of rational verification (Q6133701) (← links)
