B | |
---|---|
[BCD+11] | Luboš Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, and Jean-François Raskin. Faster algorithms for mean-payoff games. Formal Methods in System Design 38(2):97-118. Springer-Verlag, April 2011. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1
- 1