15 citations · 37 across the 12 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
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…
cs.GT2008★ 3 cited
Optimal Strategies in Perfect-Information Stochastic Games with Tail Winning Conditions
Hugo Gimbert, Florian Horn
We prove that optimal strategies exist in every perfect-information stochastic game with finitely many states and actions and a tail winning condition.