38 citations · 45 across the 8 of their papers we have counts for
Showing 2016 · cs.DSShow all
2 papers · 2 filters
cs.DS2016★ 6 cited
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…
cs.DS2016
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…