libgdx — неплохой движок, но из-за плохой документации постоянно натыкаешься на сюрпризы в виде классных фич и переписываешь код. Впрочем, сейчас документацию усиленно пишут и ситуация стала получше.
Но если собрались писать под несколько платформ, советую
cocos2d-x. Писать можно под Windows, Linux, OS X, Android, iOS, при этом почти (или совсем) не меняя кода. Причем код нативный и соответственно будет работать быстрее, чем на Java (актуально для Android <2.3). Есть порт под Windows Phone на C# и биндинги к Lua и Javascript.