DMCA

Generalized mean-payoff and energy games

by Krishnendu Chatterjee , Laurent Doyen , Thomas A. Henzinger , Jean-françois Raskin
Venue:CoRR
Citations:46 - 11 self