human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "robust multidimensional mean payoff games are undecidable"
  Abstract: Mean-payoff games play a central role in quantitative synthesis and verification. In a single-dimensional game a weight is assigned to every transition and the objective of the protagonist is to assure a non-negative limit-average weight. In the multidimensional setting, a weight vector is assigned to every transition and the objective of the protagonist is to satisfy a boolean condition over the limit-average weight of each dimension, e.g., $\LimAvg(x_1) \leq 0 \vee \LimAvg(x_2)\geq 0 \wedge \LimAvg(x_3) \geq 0$. We recently proved that when one of the players is restricted to finite-memory strategies then the decidability of determining the winner is inter-reducible with Hilbert's Tenth problem over rationals (a fundamental long-standing open problem). In this work we allow arbitrary (infinite-memory) strategies for both players and we show that the problem is undecidable.

Connected through hyperedge HE-1 (induced by source paper "energy mean payoff games"):
  with members:
    - "perfect half space games"
    - "computer aided synthesis a game theoretic approach"
    - "optimizing the expected mean payoff in energy markov decision processes"
    - "on the complexity of heterogeneous multidimensional quantitative games"
    - "average energy games"
    - "fixed dimensional energy games are in pseudo polynomial time"
    - "infinite state energy games"
    - "solving parity games on integer vectors"

Connected through hyperedge HE-2 (induced by source paper "approximating values of generalized reachability stochastic games"):
  with members:
    - "efficient strategy iteration for mean payoff in markov decision processes"
    - "decidability results for multi objective stochastic games"
    - "perfect information stochastic games with generalized mean payoff objectives"
    - "multigain a controller synthesis tool for mdps with multiple mean payoff objectives"
    - "verification of markov decision processes using learning algorithms"
    - "percentile queries in multi dimensional markov decision processes"
    - "trading performance for stability in markov decision processes"
    - "pareto curves for probabilistic model checking"

Connected through hyperedge HE-3 (induced by source paper "computer aided synthesis a game theoretic approach"):
  with members:
    - "on the existence of weak subgame perfect equilibria"
    - "extending finite memory determinacy to multiplayer games"
    - "conditionally optimal algorithms for generalized buchi games"
    - "weak subgame perfect equilibria and their application to quantitative reachability"
    - "assume admissible synthesis"
    - "on the complexity of heterogeneous multidimensional quantitative games"
    - "non zero sum games for reactive synthesis"
    - "pure nash equilibria in concurrent deterministic games"

Connected through hyperedge HE-4 (induced by source paper "decidability results for multi objective stochastic games"):
  with members:
    - "perfect information stochastic games with generalized mean payoff objectives"
    - "quantitative games with interval objectives"
    - "the complexity of multi mean payoff and multi energy games"
    - "strategy synthesis for multi dimensional quantitative objectives"
    - "multi objective model checking of markov decision processes"
    - "first order and temporal logics for nested words"

Connected through hyperedge HE-5 (induced by source paper "on the complexity of heterogeneous multidimensional quantitative games"):
  with members:
    - "looking at mean payoff through foggy windows"
    - "fixed dimensional energy games are in pseudo polynomial time"
    - "looking at mean payoff and total payoff through windows"
    - "strategy synthesis for multi dimensional quantitative objectives"
    - "generalized mean payoff and energy games"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.LO(Logic in Computer Science)