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 "compositionality for quantitative specifications"):
  Abstract: We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear various types of quantitative information. Throughout the design process the actions can be further refined and the information made more precise. We show how to compute the results of standard operations on the systems, including the quotient (residual), which has not been previously considered for quantitative non-deterministic systems. Our quantitative framework has close connections to the modal nu-calculus and is compositional with respect to general notions of distances between systems and the standard operations.

Includes members:
  Member "refinement and difference for probabilistic automata":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "on the state complexity of closures and interiors of regular languages with subwords and superwords")
  Member "structural refinement for the modal nu calculus":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "a linear time branching time spectrum of behavioral specification theories")
  Member "hennessy milner logic with greatest fixed points as a complete behavioural specification theory":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "synthesis of coordination programs from linear temporal logic")
  Member "probabilistic modal mu calculus with independent product":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "the uniform measure of simple regular sets of infinite trees")
  Member "a robust specification theory for modal event clock automata":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "computing branching distances using quantitative games")
  Member "weighted modal transition systems":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "reasoning about bounds in weighted transition systems")
  Member "a parametric counterexample refinement approach for robust timed specifications":
    also connected through other hyperedges:
      (none)

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