Krishnendu Chatterjee Luca de Alfaro Rupak Majumdar Vishwanath Raman Algorithms for Game Metrics (Full Version) http://arxiv.org/abs/0809.4326 2008 CoRR abs/0809.4326 db/journals/corr/corr0809.html#abs-0809-4326 informal publication