We propose an explicit logic of strategies (SDGL) in the Dynamic Game Logic (DGL) framework and provide a complete axiomatization for this logic. Some discussions are put forward regarding SDGL and DGL, raising an interesting issue about their combination.

Game theory has a prominent role in evolutionary biology, in particular in the ecological study of various phenomena ranging from conflict behaviour to altruism to signalling and beyond. The two central methodological tools in biological game theory are the concepts of Nash equilibrium and evolutionarily stable strategy. While both were inspired by a dynamic conception of evolution, these conce...

We consider two-player games with imperfect information and quantitative objective. The game is played on a weighted graph with a state space partitioned into classes of indistinguishable states, giving players partial knowledge of the state. In an energy game, the weights represent resource consumption and the objective of the game is to maintain the sum of weights always nonnegative. In a mea...

This thesis proposes that the bidding process that occurs daily in the competitive short-run power market can be modeled as a dynamic system, or a dynamic game played by electricity generators. Such a game is a finitely repeated one of complete but imperfect information. In this thesis, a dynamic model representing a small shortrun power market is formulated as a repeated game. Daily price comp...

We propose a likelihood based method that relies on sequential importance sampling to estimate dynamic discrete games of complete information with serially correlated unobserved state variables. Our method is applicable to similar games that have a Markovian representation of the latent dynamics and an algorithm to solve the game. We apply the method to a dynamic oligopolistic game of entry for...