human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "using sygus to synthesize reactive motion plans"):
  Abstract: We present an approach for synthesizing reactive robot motion plans, based on compilation to Syntax-Guided Synthesis (SyGuS) specifications. Our method reduces the motion planning problem to the problem of synthesizing a function that can choose the next robot action in response to the current state of the system. This technique offers reactivity not by generating new motion plans throughout deployment, but by synthesizing a single program that causes the robot to reach its target from any system state that is consistent with the system model. This approach allows our tool to handle environments with adversarial obstacles. This work represents the first use of the SyGuS formalism to solve robot motion planning problems. We investigate whether using SyGuS for a bounded two-player reachability game is practical at this point in time.

Includes members:
  Member "the first reactive synthesis competition syntcomp 2014":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "logics for word transductions with synthesis")
  Member "results and analysis of sygus comp 15":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "oasis ilp guided synthesis of loop invariants")
  Member "a high level ltl synthesis format tlsf v1 1 extended version":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "bounded cycle synthesis")
  Member "specification format for reactive synthesis problems":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "the 4th reactive synthesis competition syntcomp 2017 benchmarks participants results")
  Member "a multi paradigm language for reactive synthesis":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "performance heuristics for gr 1 synthesis and related algorithms")
  Member "language to specify syntax guided synthesis problems":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "grammar filtering for syntax guided synthesis")

Question: Please tell me which class the source paper 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.PL(Programming Languages)