Vitor Bosshard

Computing Perfect Bayesian Equilibria in Sequential Auctions with Verification

We present an algorithm for computing pure-strategy epsilon-perfect Bayesian equilibria in sequential auctions with continuous action and value spaces. Importantly, our algorithm includes a verification phase that computes an upper bound on the utility loss of the found strategies. Prior work on equ…