Extensive Infinite Games and Escalation, an exercise in Agda


Abstract in English

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.

Download