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: "faust 2 f ormal abstractions of uncountable state stochastic processes"
  Abstract: FAUST 2 is a software tool that generates formal abstractions of (possibly non-deterministic) discrete-time Markov processes (dtMP) defined over uncountable (continuous) state spaces. A dtMP model is specified in MATLAB and abstracted as a finite-state Markov chain or a Markov decision process. The abstraction procedure runs in MATLAB and employs parallel computations and fast manipulations based on vec- tor calculus, which allows scaling beyond state-of-the-art alternatives. The abstract model is formally put in relationship with the concrete dtMP via a user-defined maximum threshold on the approximation er- ror introduced by the abstraction procedure. FAUST 2 allows exporting the abstract model to well-known probabilistic model checkers, such as PRISM or MRMC. Alternatively, it can handle internally the computa- tion of PCTL properties (e.g. safety or reach-avoid) over the abstract model. FAUST 2 allows refining the outcomes of the verification proce- dures over the concrete dtMP in view of the quantified and tunable error, which depends on the dtMP dynamics and on the given formula. The toolbox is available at http://sourceforge.net/projects/faust2/

Connected through hyperedge HE-1 (induced by source paper "efficiency through uncertainty scalable formal synthesis for stochastic hybrid systems"):
  with members:
    - "forward stochastic reachability analysis for uncontrolled linear systems using fourier transforms"
    - "multi objective robust strategy synthesis for interval markov decision processes"

Connected through hyperedge HE-2 (induced by source paper "benchmarks for cyber physical systems a modular model library for building automation systems extended version"):
  with members:
    - "efficient probabilistic model checking of smart building maintenance using fault maintenance trees"
    - "the refinement calculus of reactive systems toolset"
    - "aggregation and control of populations of thermostatically controlled loads by formal abstractions"

Connected through hyperedge HE-3 (induced by source paper "temporal logic verification of stochastic systems using barrier certificates"):
  with members:
    - "from dissipativity theory to compositional construction of finite markov decision processes"
    - "dynamic bayesian networks as formal abstractions of structured stochastic processes"
    - "automata theory meets barrier certificates temporal logic verification of nonlinear systems"

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.SY(Systems and Control)