1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.GT2009★ 1 cited
Random Fruits on the Zielonka Tree
Florian Horn
Stochastic games are a natural model for the synthesis of controllers confronted to adversarial and/or random actions. In particular, -regular games of infinite length can repre…
cs.NI2008
Self-stabilizing K-out-of-L exclusion on tree network
Ajoy K. Datta, Stéphane Devismes, Florian Horn +1
In this paper, we address the problem of K-out-of-L exclusion, a generalization of the mutual exclusion problem, in which there are units of a shared resource, and any proce…