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: "synthesizing a lego forklift controller in gr 1 a case study"
  Abstract: Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from a given specification. GR(1) is a well-known fragment of linear temporal logic (LTL) where synthesis is possible using a polynomial symbolic algorithm. We conducted a case study to learn about the challenges that software engineers may face when using GR(1) synthesis for the development of a reactive robotic system. In the case study we developed two variants of a forklift controller, deployed on a Lego robot. The case study employs LTL specification patterns as an extension of the GR(1) specification language, an examination of two specification variants for execution scheduling, traceability from the synthesized controller to constraints in the specification, and generated counter strategies to support understanding reasons for unrealizability. We present the specifications we developed, our observations, and challenges faced during the case study.

Connected through hyperedge HE-1 (induced by source paper "specification patterns for robotic missions"):
  with members:
    - "formal specification and verification of autonomous robotic systems a survey"
    - "extended ltlvis motion planning interface"
    - "a requirements modeling language for the component behavior of cyber physical robotics systems"
    - "optimal multi robot path planning with temporal logic constraints"
    - "events in linear time properties"

Connected through hyperedge HE-2 (induced by source paper "spectra a specification language for reactive systems"):
  with members:
    - "performance heuristics for gr 1 synthesis and related algorithms"
    - "permissive controller synthesis for probabilistic systems"
    - "better quality in synthesis through quantitative objectives"

Connected through hyperedge HE-3 (induced by source paper "performance heuristics for gr 1 synthesis and related algorithms"):
  with members:
    - "spectra a specification language for reactive systems"
    - "the 4th reactive synthesis competition syntcomp 2017 benchmarks participants results"
    - "the first reactive synthesis competition syntcomp 2014"
    - "electronic proceedings in theoretical computer science eptcs preface"
    - "symbolic bdd and add algorithms for energy games"
    - "proceedings fifth workshop on synthesis"
    - "the 3rd reactive synthesis competition syntcomp 2016 benchmarks participants results"
    - "a multi paradigm language for reactive synthesis"

Connected through hyperedge HE-4 (induced by source paper "symbolic bdd and add algorithms for energy games"):
  with members:
    - "synthesis from ltl specifications with mean payoff objectives"
    - "strategy synthesis for multi dimensional quantitative objectives"
    - "generalized mean payoff and energy games"
    - "better quality in synthesis through quantitative objectives"

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.SE(Software Engineering)