Subgame Solving for Imperfect-Information Games
Coordination Games with Enforced Cooperation
Safe and Nested Subgame Solving for Imperfect-Information Games
Libratus: The Superhuman AI for No-Limit Poker
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations