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: "cooperative planning for coupled multi agent systems under timed temporal specifications"
  Abstract: This paper presents a fully automated procedure for controller synthesis for multi-agent systems under coupled constraints. Each agent has dynamics consisting of two terms: the first one models the coupled constraints and the other one is an additional control input. We aim to design these inputs so that each agent meets an individual high-level specification given as a Metric Interval Temporal Logic (MITL). First, a decentralized abstraction that provides a time and space discretization of the multi-agent system is designed. Second, by utilizing this abstraction and techniques from formal veri- fication, we provide an algorithm that computes the individual runs which provably satisfy the high-level tasks. The overall approach is demonstrated in a simulation example.

Connected through hyperedge HE-1 (induced by source paper "average based robustness for continuous time signal temporal logic"):
  with members:
    - "arithmetic geometric mean robustness for control from signal temporal logic specifications"
    - "a policy search method for temporal logic specified reinforcement learning tasks"
    - "an milp approach for real time optimal controller synthesis with metric temporal logic specifications"
    - "time window temporal logic"

Connected through hyperedge HE-2 (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 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"
    - "multi robot deployment from ltl specifications with reduced communication"

Connected through hyperedge HE-3 (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"
    - "decentralized abstractions for multi agent systems under coupled constraints"
    - "computational methods for stochastic control with metric interval temporal logic specifications"
    - "multi robot deployment from ltl specifications with reduced communication"

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.SY(Systems and Control)