2000 character limit reached
Extensive Infinite Games and Escalation, an exercise in Agda
Published 19 Jun 2020 in cs.LO and math.LO | (2006.15137v1)
Abstract: 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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.