In 2017, a poker bot called Libratus made headlines when it roundly defeated four top human players at no-limit Texas Hold'Em. Now, Libratus' technology is being adapted to take on opponents of a different kind--in service of the US military. Libratus--Latin for balanced--was created by researchers from Carnegie Mellon University to test ideas for automated decisionmaking based on game theory. Early last year, the professor who led the project, Tuomas Sandholm, founded a startup called Strategy Robot to adapt his lab's game-playing technology for government use, such as in war games and simulations used to explore military strategy and planning. Late in August, public records show, the company received a two-year contract of up to $10 million with the US Army.

In 2017, a poker bot called Libratus made headlines when it roundly defeated four top human players at no-limit Texas Hold'Em. Now, Libratus's technology is being adapted to take on opponents of a different kind--in service of the US military. Libratus--Latin for balanced--was created by researchers from Carnegie Mellon University to test ideas for automated decision-making based on game theory. Early last year, the professor who led the project, Tuomas Sandholm, founded a startup called Strategy Robot to adapt his lab's game-playing technology for government use, such as in wargames and simulations used to explore military strategy and planning. Late in August, public records show, the company received a two-year contract of up to $10 million with the US Army.

The titles of the eight symposia were Applied Computational Game Theory, Big Data Becomes Personal: Knowledge into Meaning, Formal Verification and Modeling in Human-Machine Systems, Implementing Selves with Safe Motivational Systems and Self-Improvement, The Intersection of Robust Intelligence and Trust in Autonomous Systems, Knowledge Representation and Reasoning in Robotics, Qualitative Representations for Robots, and Social Hacking and Cognitive Security on the Internet and New Media). This report contains summaries of the symposia, written, in most cases, by the cochairs of the symposium. Game theory's popularity continues to increase in a variety of disciplines such as economics, biology, political science, computer science, electrical engineering, business, law, public policy, and many others. The focus of this symposium was to bring together the community working on applied computational game theory motivated by any of these domains. This symposium, while not limited to the ideas discussed there, built on the AAAI Spring Symposium 2012 on Game Theory for Security, Sustainability, and Health.

Recently there has been renewed interest in game theory in several research disciplines, with its uses ranging from the modeling of evolution to the design of distributed protocols. In the AI community, game theory is emerging as the dominant formalism for studying strategic and cooperative interaction in multi-agent systems. Classical work provides rich mathematical foundations and equilibrium concepts, but relatively little in the way of computational and representational insights that would allow game theory to scale up to large, complex systems. The rapidly emerging field of computational game theory is addressing such algorithmic issues, and this tutorial will provide a survey of developments so far. As the NIPS community is well-poised to make significant contributions to this area, special emphasis will be placed on connections to more familiar topics.

Living organisms adapt to challenges through evolution. This has proven to be a key difficulty in developing therapies, since the organisms evolve resistance.I propose the wild idea of steering evolution strategically — using computational game theory for (typically incomplete-information) multistage games and opponent exploitation techniques. A sequential contingency plan for steering evolution is constructed computationally for the setting at hand. In the biological context, the opponent (e.g., a disease) has a systematic handicap because it evolves myopically. This can be exploited by computing trapping strategies that cause the opponent to evolve into states where it can be handled effectively. Potential application classes include therapeutics at the population, individual, and molecular levels (drug design), as well as cell repurposing and synthetic biology.