Game Theoretic Approaches for Deception and Counterdeception
Assistant Professor Zachary Sunberg
University of Colorado Boulder
May 5th, 2026
Is a Nash equilibrium strategy a good choice in real life against humans?
Yes! Example: Superhuman play in poker with deception through bluffing.
Tyler Becker
Joined DECODE AI project Fall 2024
State space \(S\)
Actions
\(\mathbf{a}\)
\(a^1\)
\(a^2\)
\(a^n\)
Environment with
shared state \(s\)
Policy \(\pi^1\)
Policy \(\pi^1\)
Policy \(\pi^n\)
\(\vdots\)
Observations
\(\mathbf{o}\)
\(o^1\)
\(o^2\)
\(o^n\)
\(S = \mathbb{R}^{12}\)
\(\times \mathbb{R}^{12}\)
\(\times \mathbb{R}^{\infty}\)
| Tool | Good At | Missing |
|---|---|---|
| POMDP* solvers | State uncertainty | Strategic opponents |
| EFG** Solvers | Strategic opponents | Probabilistic beliefs |
| AlphaZero | Learned search | Simultaneous moves |
* A POMDP (Partially Observable Markov Decision Process) is a single agent POSG (much easier)
** EFG = Extensive Form Game
Image: Russel & Norvig, AI, a modern approach
[Becker & Sunberg, AAMAS 2025]
[Becker & Sunberg, AAMAS 2025]
Alpha Zero
SimultaneousAlpha Zero
(Ours)
Mel Krusniak
Joined DECODE AI project Jan. 2026
Past work: How do we teach adversarial agents in trajectory space to hide and seek information about each other?
Present work: How do we teach a higher-level broadcaster to publicly share the "right" information with an ally?
Consider a three player interaction with one player at a higher informational level.
Research thrust: Automatically choose what information to broadcast, what channel to use, and how precisely to convey it.
Test environment: Discrete tag in a 2x2 grid.
Four states, two bits of information.
Test environment: Discrete tag in a 2x2 grid.
Four states, two bits of information.
\[r^{(\text{evd})}(a) = (1 - \rho) \; r^{(\text{evd})}_{\text{reach\_goal}}(a) + \rho \;r^{(\text{evd})}_{\text{avoid\_psr}}(a)\]
This is one example of an "information game." Others of interest include:
Game theory, machine learning, and control theory all contribute useful tools, but converting between formalizations is fraught, error-prone, and inefficient.
Decisions.jl: Representing and solving games with arbitrary decision networks
(Opinions are my own)