Pages that link to "Item:Q2407463"

The following pages link to From model checking to equilibrium checking: reactive modules for rational verification (Q2407463):

Displayed 11 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)
• (Q4972730) ‎ (← links)
• (Q5875383) ‎ (← links)
• On the complexity of rational verification (Q6133701) ‎ (← links)