-
Rationality and Escalation in Infinite Extensive Games
The aim of this of this paper is to study infinite games and to prove formally some properties in this framework. As a consequence we show that the behavior (the... -
Les crashs sont rationnels
As we show by using notions of equilibrium in infinite sequential games, crashes or financial escalations are rational for economic or environmental agents, who have a... -
A simple case of rationality of escalation
International audience -
Coinductive graph representation
We are interested in graph representation in the theorem prover Coq. We have chosen to represent graphs using coinductive types. We wanted to explore their use in Coq....
