Showing 2018Show all
2 papers · 1 filter
cs.DS2018
Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives
Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer +2
Given a model and a specification, the fundamental model-checking problem asks for algorithmic verification of whether the model satisfies the specification. We consider graphs and…
cs.LO2018
Strategy Representation by Decision Trees in Reactive Synthesis
Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský +1
Graph games played by two players over finite-state graphs are central in many problems in computer science. In particular, graph games with -regular winning conditions, specifi…