Theorem 1, pp. 13–14 — for b1 < n*, b2 < m*, equilibria use exactly b1 detectors and b2 attacks, and are the solutions of (LP̄1), (LP̄2)

Initializing...

Theorem 1, pp. 13–14 — for b1 < n*, b2 < m*, equilibria use exactly b1 detectors and b2 attacks, and are the solutions of (LP̄1), (LP̄2) · Prove2Me