171 citations · 497 across the 31 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016★ 2 cited
Computation Tree Logic for Synchronization Properties
Krishnendu Chatterjee, Laurent Doyen
We present a logic that extends CTL (Computation Tree Logic) with operators that express synchronization properties. A property is synchronized in a system if it holds in all paths…
cs.LO2016★ 1 cited
Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives
Krishnendu Chatterjee, Laurent Doyen
Graph games provide the foundation for modeling and synthesizing reactive processes. In the synthesis of stochastic reactive processes, the traditional model is perfect-information…