38 citations · 45 across the 8 of their papers we have counts for
3 papers · 1 filter
Conditionally Optimal Algorithms for Generalized Büchi Games
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger +1
Games on graphs provide the appropriate framework to study several central problems in computer science, such as the verification and synthesis of reactive systems. One of the most…
Ad Exchange: Envy-Free Auctions with Mediators
Oren Ben-Zwi, Monika Henzinger, Veronika Loitzenbauer
Ad exchanges are an emerging platform for trading advertisement slots on the web with billions of dollars revenue per year. Every time a user visits a web page, the publisher of th…
Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger +1
Given a model of a system and an objective, the model-checking question asks whether the model satisfies the objective. We study polynomial-time problems in two classical models, g…