The following pages link to Rational Synthesis (Q3557077):
Displaying 46 items.
- Synthesis with rational environments (Q314471) (← links)
- Network-formation games with regular objectives (Q342715) (← links)
- Coping with selfish on-going behaviors (Q418112) (← links)
- Assume-admissible synthesis (Q520340) (← links)
- Doomsday equilibria for omega-regular games (Q528193) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Active learning of sequential transducers with side information about the domain (Q832921) (← links)
- An abstraction-refinement methodology for reasoning about network games (Q1630443) (← links)
- Imperfect information in reactive modules games (Q1641035) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives (Q2029600) (← links)
- A game-theoretic approach for the synthesis of complex systems (Q2104251) (← links)
- Timed network games (Q2112796) (← links)
- A logic for conditional local strategic reasoning (Q2155205) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Infinite-duration poorman-bidding games (Q2190378) (← links)
- The power of one evil secret agent (Q2196556) (← 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)
- Dynamic resource allocation games (Q2286736) (← links)
- Iterated Boolean games (Q2346405) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- Cooperative concurrent games (Q2680769) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- The Complexity of Nash Equilibria in Limit-Average Games (Q3090850) (← links)
- (Q3301024) (← links)
- Hierarchical Network Formation Games (Q3303895) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)
- (Q3384875) (← links)
- (Q4972730) (← links)
- (Q4972740) (← links)
- (Q5005123) (← links)
- (Q5009456) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- (Q5111251) (← links)
- (Q5111621) (← links)
- Infinite-Duration Bidding Games (Q5111634) (← links)
- (Q5140263) (← links)
- On High-Quality Synthesis (Q5740173) (← links)
- (Q5856414) (← links)
- (Q5875374) (← links)
- (Q5875381) (← links)
- (Q5875383) (← links)
- On the complexity of rational verification (Q6133701) (← links)
- Incentive Engineering for Concurrent Games (Q6199620) (← links)
- Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention (Q6496422) (← links)
