A key model that I study is “bidding games”, which are graph games in which in each turn, the player who moves is chosen according to a bidding. In general, I study games in the context of formal methods and in particular reactive synthesis.