Dietmar Berwanger

Chargé de recherche CNRS

Areas

Logic, Game Theory

• infinite games, imperfect information, coordination
• algorithmic model theory, fixed points, logical independence
• graph structure theory

Working papers

• Deviator detection under imperfect monitoring (with R. Ramanujam)
• Hierarchical information and the synthesis of distributed strategies (with Anup Basil Mathew and Marie van den Bogaard)
• Consensus game acceptors and iterated transductions (with Marie van den Bogaard)

Publications

[New]

Dietmar Berwanger and Anup Basil Mathew, Infinite games with finite knowledge gaps, Information and Computation 254: 217-237 (2017): preprint

Previously published papers available online.

Events

• Finite and Algorithmic Model Theory, Dagstuhl, September 2017
• Paris Symposium on Games, Paris, June 2018
• Highlights of Logic, Games, and Automata, Berlin, September 2018

Teaching

Game-theoretic techniques in computing, MPRI

• Strategic games (lecture notes)
• Graph games with perfect information (lecture notes)

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• &Eactue;cole Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique