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: "on pebble automata for data languages with decidable emptiness problem"
  Abstract: In this paper we study a subclass of pebble automata (PA) for data languages for which the emptiness problem is decidable. Namely, we introduce the so-called top view weak PA. Roughly speaking, top view weak PA are weak PA where the equality test is performed only between the data values seen by the two most recently placed pebbles. The emptiness problem for this model is decidable. We also show that it is robust: alternating, nondeterministic and deterministic top view weak PA have the same recognition power. Moreover, this model is strong enough to accept all data languages expressible in Linear Temporal Logic with the future-time operators, augmented with one register freeze quantifier.

Connected through hyperedge HE-1 (induced by source paper "complexity hierarchies beyond elementary"):
  with members:
    - "relating timed and register automata"
    - "demystifying reachability in vector addition systems"
    - "nonelementary complexities for branching vass mell and extensions"
    - "on freeze ltl with ordered attributes"
    - "trace inclusion for one counter nets revisited"
    - "the power of priority channel systems"
    - "the parametric ordinal recursive complexity of post embedding problems"
    - "graph logics with rational relations"

Connected through hyperedge HE-2 (induced by source paper "an extension of data automata that captures xpath"):
  with members:
    - "ltl with the freeze quantifier and register automata"

Connected through hyperedge HE-3 (induced by source paper "graph reachability and pebble automata over infinite alphabets"):
  with members:
    - "safety alternating automata on data words"
    - "ltl with the freeze quantifier and register automata"
    - "on the freeze quantifier in constraint ltl decidability and complexity"

Connected through hyperedge HE-4 (induced by source paper "ackermannian and primitive recursive bounds with dickson s lemma"):
  with members:
    - "multiply recursive upper bounds with higman s lemma"
    - "ltl with the freeze quantifier and register automata"

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.FL(Formal Languages and Automata Theory)