Extensive Infinite Games and Escalation, an exercise in Agda

06/19/2020

∙

by   Pierre Lescanne, et al.

∙

0

∙

share

Escalation in games is when agents keep playing forever. Based on formal proofs we claim that if agents assume that resource are infinite, escalation is rational.