215 citations · 792 across the 83 of their papers we have counts for
3 papers · 1 filter
On Multiple Round Sponsored Search Auctions with Budgets
Riccardo Colini-Baldeschi, Monika Henzinger, Stefano Leonardi +1
In a sponsored search auction the advertisement slots on a search result page are generally ordered by click-through rate. Bidders have a valuation, which is usually assumed to be…
An O(n^2) Time Algorithm for Alternating Büchi Games
Krishnendu Chatterjee, Monika Henzinger
Computing the winning set for B{ü}chi objectives in alternating games on graphs is a central problem in computer aided verification with a large number of applications. The long st…
Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives
Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar +1
We consider Markov decision processes (MDPs) with ω-regular specifications given as parity objectives. We consider the problem of computing the set of almost-sure winning states fr…