Extensive Infinite Games and Escalation, an exercise in Agda
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.
READ FULL TEXT
research
∙
04/29/2023
Positionality of mean-payoff games on infinite graphs
This short note establishes positionality of mean-payoff games over infi...
research
∙
11/14/2022
Infinite horizon for symetric strategy population game
To predict the behavior of a population game when time becomes very long...
research
∙
03/29/2022
Graded Monads and Behavioural Equivalence Games
The framework of graded semantics uses graded monads to capture behaviou...
research
∙
01/08/2021
Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL
We give an overview of our formalizations in the proof assistant Isabell...
research
∙
05/24/2022
Efficient Deviation Types and Learning for Hindsight Rationality in Extensive-Form Games: Corrections
Hindsight rationality is an approach to playing general-sum games that p...
research
∙
06/25/2019
A Compact, Logical Approach to Large-Market Analysis
In game theory, we often use infinite models to represent "limit" settin...
research
∙
07/28/2023