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: "multi robot deployment from ltl specifications with reduced communication"
  Abstract: In this paper, we develop a computational framework for fully automatic deployment of a team of unicycles from a global specification given as an LTL formula over some regions of interest. Our hierarchical approach consists of four steps: (i) the construction of finite abstractions for the motions of each robot, (ii) the parallel composition of the abstractions, (iii) the generation of a satisfying motion of the team; (iv) mapping this motion to individual robot control and communication strategies. The main result of the paper is an algorithm to reduce the amount of inter-robot communication during the fourth step of the procedure.

Connected through hyperedge HE-1 (induced by source paper "formal specification and verification of autonomous robotic systems a survey"):
  with members:
    - "modular verification of vehicle platooning with respect to decisions space and time"
    - "automating verification of state machines with reactive designs and isabelle utp"
    - "robotics and integrated formal methods necessity meets opportunity"
    - "formal verification of obstacle avoidance and navigation of ground robots"
    - "developing bug free machine learning systems with formal mathematics"
    - "a rational agent controlling an autonomous vehicle implementation and formal verification"
    - "a stochastically verifiable autonomous control architecture with reasoning"
    - "towards the verification of safety critical autonomous systems in dynamic environments"

Connected through hyperedge HE-2 (induced by source paper "control of multi agent systems with finite time control barrier certificates and temporal logic"):
  with members:
    - "safety barrier certificates for heterogeneous multi robot systems"
    - "the robotarium a remotely accessible swarm robotics research testbed"
    - "automata theory meets barrier certificates temporal logic verification of nonlinear systems"
    - "time constrained temporal logic control of multi affine systems"

Connected through hyperedge HE-3 (induced by source paper "distributed synthesis of surveillance strategies for mobile sensors"):
  with members:
    - "synthesis of surveillance strategies via belief abstraction"

Connected through hyperedge HE-4 (induced by source paper "control synthesis for multi agent systems under metric interval temporal logic specifications"):
  with members:
    - "timed automata approach for motion planning using metric interval temporal logic"
    - "cooperative planning for coupled multi agent systems under timed temporal specifications"
    - "cooperative task planning of multi agent systems under timed temporal specifications"
    - "computational methods for stochastic control with metric interval temporal logic specifications"
    - "on mitl and alternating timed automata"
    - "time constrained temporal logic control of multi affine systems"

Connected through hyperedge HE-5 (induced by source paper "decentralized abstractions and timed constrained planning of a general class of coupled multi agent systems"):
  with members:
    - "timed automata approach for motion planning using metric interval temporal logic"
    - "cooperative planning for coupled multi agent systems under timed temporal specifications"
    - "decentralized abstractions for multi agent systems under coupled constraints"
    - "computational methods for stochastic control with metric interval temporal logic specifications"

Connected through hyperedge HE-6 (induced by source paper "cooperative planning for coupled multi agent systems under timed temporal specifications"):
  with members:
    - "timed automata approach for motion planning using metric interval temporal logic"
    - "decentralized abstractions for multi agent systems under coupled constraints"
    - "optimal mission planner with timed temporal logic constraints"
    - "cooperative task planning of multi agent systems under timed temporal specifications"
    - "robust connectivity analysis for multi agent systems"
    - "computational methods for stochastic control with metric interval temporal logic specifications"
    - "time constrained temporal logic control of multi affine systems"
    - "optimal multi robot path planning with temporal logic constraints"

Connected through hyperedge HE-7 (induced by source paper "decomposition of multi agent planning under distributed motion and task ltl specifications"):
  with members:
    - "multi agent planning under local ltl specifications and event based synchronization"
    - "cooperative decentralized multi agent control under local ltl tasks and connectivity constraints"
    - "a receding horizon approach to multi agent planning from local ltl specifications"

Connected through hyperedge HE-8 (induced by source paper "multi agent planning under local ltl specifications and event based synchronization"):
  with members:
    - "a receding horizon approach to multi agent planning from local ltl specifications"
    - "attraction based receding horizon path planning with temporal logic constraints"

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.RO(Robotics)