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 temporal logic model predictive control"
  Abstract: Control synthesis from temporal logic specifications has gained popularity in recent years. In this paper, we use a model predictive approach to control discrete time linear systems with additive bounded disturbances subject to constraints given as formulas of signal temporal logic (STL). We introduce a (conservative) computationally efficient framework to synthesize control strategies based on mixed integer programs. The designed controllers satisfy the temporal logic requirements, are robust to all possible realizations of the disturbances, and optimal with respect to a cost function. In case the temporal logic constraint is infeasible, the controller satisfies a relaxed, minimally violating constraint. An illustrative case study is included.

Connected through hyperedge HE-1 (induced by source paper "prescribed performance control guided policy improvement for satisfying signal temporal logic tasks"):
  with members:
    - "a policy search method for temporal logic specified reinforcement learning tasks"
    - "q learning for robust satisfaction of signal temporal logic specifications"
    - "robust control for signal temporal logic specifications using average space robustness"
    - "path integral guided policy search"
    - "a learning based approach to control synthesis of markov decision processes for linear temporal logic specifications"
    - "path integral policy improvement with covariance matrix adaptation"

Connected through hyperedge HE-2 (induced by source paper "continuous time signal temporal logic planning with control barrier function"):
  with members:
    - "safe learning of quadrotor dynamics using barrier certificates"
    - "enhancing the performance of a safe controller via supervised learning for truck lateral control"
    - "safety barrier certificates for heterogeneous multi robot systems"

Connected through hyperedge HE-3 (induced by source paper "formal synthesis of control strategies for positive monotone systems"):
  with members:
    - "safety control of monotone systems with bounded uncertainties"
    - "traffic network control from temporal logic specifications"

Connected through hyperedge HE-4 (induced by source paper "cause mining and controller synthesis with stl"):
  with members:
    - "traffic network control from temporal logic specifications"

Connected through hyperedge HE-5 (induced by source paper "bayesian optimization for polynomial time probabilistically complete stl trajectory synthesis"):
  with members:
    - "information theoretic regret bounds for gaussian process optimization in the bandit setting"

Connected through hyperedge HE-6 (induced by source paper "reactive task and motion planning for robust whole body dynamic locomotion in constrained environments"):
  with members:
    - "deepmimic example guided deep reinforcement learning of physics based character skills"
    - "robust abstractions for control synthesis completeness via robustness for linear time properties"
    - "combined top down and bottom up approaches to performance guaranteed integrated task and motion planning of cooperative multi agent systems"
    - "multi contact walking pattern generation based on model preview control of 3d com accelerations"
    - "zmp support areas for multi contact mobility under frictional constraints"
    - "robust online monitoring of signal temporal logic"
    - "probably approximately correct mdp learning and control with temporal logic constraints"

Connected through hyperedge HE-7 (induced by source paper "scalable integrated task and motion planning from signal temporal logic specifications"):
  with members:
    - "communication aware motion planning for multi agent systems from signal temporal logic specifications"

Connected through hyperedge HE-8 (induced by source paper "robust motion planning employing signal temporal logic"):
  with members:
    - "cooperative task planning of multi agent systems under timed temporal specifications"

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)