"BattleBots: Beyond the BattleBox"@cs .