32 citations · 149 across the 42 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.LO2016★ 1 cited
Bounding Average-energy Games
Patricia Bouyer, Piotr Hofman, Nicolas Markey +2
We consider average-energy games, where the goal is to minimize the long-run average of the accumulated energy. While several results have been obtained on these games recently, de…
cs.LO2016
The First-Order Logic of Hyperproperties
Bernd Finkbeiner, Martin Zimmermann
We investigate the logical foundations of hyperproperties. Hyperproperties generalize trace properties, which are sets of traces, to sets of sets of traces. The most prominent appl…
cs.LO2016★ 2 cited
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
Alexander Weinert, Martin Zimmermann
The winning condition of a parity game with costs requires an arbitrary, but fixed bound on the cost incurred between occurrences of odd colors and the next occurrence of a larger…