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: "statistical model checking for stochastic hybrid systems"
  Abstract: This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how our race-based stochastic semantics extends to networks of hybrid systems, and indicate the integration technique applied for implementing this semantics in the UPPAAL-SMC simulation engine. We report on two applications of the resulting tool-set coming fr om systems biology and energy aware buildings.

Connected through hyperedge HE-1 (induced by source paper "decisiveness of stochastic systems and its application to hybrid models"):
  with members:
    - "when are stochastic transition systems tameable"
    - "stochastic timed automata"
    - "decisive markov chains"

Connected through hyperedge HE-2 (induced by source paper "probabilistic analysis of weakly hard real time systems"):
  with members:
    - "uppaal smc statistical model checking for priced timed automata"

Connected through hyperedge HE-3 (induced by source paper "hysia tool for simulating and monitoring hybrid automata based on interval analysis"):
  with members:
    - "monitoring temporal properties using interval analysis"
    - "monitoring bounded ltl properties using interval analysis"
    - "probreach verified probabilistic delta reachability for stochastic hybrid systems"
    - "sreach a bounded model checker for stochastic hybrid systems"

Connected through hyperedge HE-4 (induced by source paper "monitoring temporal properties using interval analysis"):
  with members:
    - "satisfiability modulo odes"
    - "delta decidability over the reals"

Connected through hyperedge HE-5 (induced by source paper "monitoring bounded ltl properties using interval analysis"):
  with members:
    - "delta complete analysis for bounded reachability of hybrid systems"
    - "satisfiability modulo odes"
    - "delta decidability over the reals"

Connected through hyperedge HE-6 (induced by source paper "approximate probabilistic verification of hybrid systems"):
  with members:
    - "parameter synthesis for cardiac cell hybrid models using delta decisions"
    - "modelling the effect of gap junctions on tissue level cardiac electrophysiology"

Connected through hyperedge HE-7 (induced by source paper "sreach a bounded model checker for stochastic hybrid systems"):
  with members:
    - "delta complete analysis for bounded reachability of hybrid systems"
    - "smt based bounded model checking for embedded ansi c software"

Connected through hyperedge HE-8 (induced by source paper "stochastic hype flow based modelling of stochastic hybrid systems"):
  with members:
    - "hybrid performance modelling of opportunistic networks"
    - "hype with stochastic events"

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.CE(Computational Engineering, Finance, and Science)