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: "parameterized synthesis case study amba ahb"
  Abstract: We revisit the AMBA AHB case study that has been used as a benchmark for several reactive synthesis tools. Synthesizing AMBA AHB implementations that can serve a large number of masters is still a difficult problem. We demonstrate how to use parameterized synthesis in token rings to obtain an implementation for a component that serves a single master, and can be arranged in a ring of arbitrarily many components. We describe new tricks - property decompositional synthesis, and direct encoding of simple GR(1) - that together with previously described optimizations allowed us to synthesize a component model with 14 states in about 1 hour.

Connected through hyperedge HE-1 (induced by source paper "practical synthesis of reactive systems from ltl specifications via parity games"):
  with members:
    - "the 5th reactive synthesis competition syntcomp 2018 benchmarks participants results"
    - "bosy an experimentation framework for bounded synthesis"
    - "bounded synthesis of reactive programs"
    - "one theorem to rule them all a unified translation of ltl into ω automata"
    - "the 4th reactive synthesis competition syntcomp 2017 benchmarks participants results"
    - "ltl to deterministic emerson lei automata"
    - "from ltl and limit deterministic b uchi automata to deterministic parity automata"
    - "synthesizing functional reactive programs"

Connected through hyperedge HE-2 (induced by source paper "promptness and bounded fairness in concurrent and parameterized systems"):
  with members:
    - "distributed synthesis for parameterized temporal logics"
    - "analyzing guarded protocols better cutoffs more systems more expressivity"
    - "tight cutoffs for guarded protocols with fairness"
    - "decidability problems for actor systems"
    - "parameterized model checking of timed systems with conjunctive guards"
    - "parametric linear dynamic logic"
    - "parameterized model checking of token passing systems"
    - "parameterized verification of asynchronous shared memory systems"

Connected through hyperedge HE-3 (induced by source paper "analyzing guarded protocols better cutoffs more systems more expressivity"):
  with members:
    - "bounded cycle synthesis"
    - "tight cutoffs for guarded protocols with fairness"
    - "decidability problems for actor systems"
    - "parameterized model checking of token passing systems"

Connected through hyperedge HE-4 (induced by source paper "synthesizing functional reactive programs"):
  with members:
    - "vehicle platooning simulations with functional reactive programming"
    - "juniper a functional reactive programming language for the arduino"
    - "compositional synthesis of finite state abstractions"
    - "program synthesis from polymorphic refinement types"

Connected through hyperedge HE-5 (induced by source paper "the 3rd reactive synthesis competition syntcomp 2016 benchmarks participants results"):
  with members:
    - "solving qbf by abstraction"
    - "the first reactive synthesis competition syntcomp 2014"
    - "the reactive synthesis competition syntcomp 2016 and beyond"
    - "a high level ltl synthesis format tlsf v1 1"
    - "specification format for reactive synthesis problems"
    - "the second reactive synthesis competition syntcomp 2015"
    - "compositional algorithms for succinct safety games"
    - "extended aiger format for synthesis"

Connected through hyperedge HE-6 (induced by source paper "synthesizing a lego forklift controller in gr 1 a case study"):
  with members:
    - "architecture and behavior modeling of cyber physical systems with montiarcautomaton"
    - "counter strategy guided refinement of gr 1 temporal logic specifications"

Connected through hyperedge HE-7 (induced by source paper "a multi paradigm language for reactive synthesis"):
  with members:
    - "a ltl fragment for gr 1 synthesis"
    - "experimental aspects of synthesis"

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.LO(Logic in Computer Science)