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 "verification of uncertain pomdps using barrier certificates"):
  Abstract: We consider a class of partially observable Markov decision processes (POMDPs) with uncertain transition and/or observation probabilities. The uncertainty takes the form of probability intervals. Such uncertain POMDPs can be used, for example, to model autonomous agents with sensors with limited accuracy, or agents undergoing a sudden component failure, or structural damage [1]. Given an uncertain POMDP representation of the autonomous agent, our goal is to propose a method for checking whether the system will satisfy an optimal performance, while not violating a safety requirement (e.g. fuel level, velocity, and etc.). To this end, we cast the POMDP problem into a switched system scenario. We then take advantage of this switched system characterization and propose a method based on barrier certificates for optimality and/or safety verification. We then show that the verification task can be carried out computationally by sum-of-squares programming. We illustrate the efficacy of our method by applying it to a Mars rover exploration example.

Includes members:
  Member "privacy verification in pomdps via barrier certificates":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "control theory meets pomdps a hybrid systems approach")
  Member "a storm is coming a modern probabilistic model checker":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "the probabilistic model checker storm")
  Member "a berkeley view of systems challenges for ai":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "large scale discrete fourier transform on tpus")
  Member "concrete problems in ai safety":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "intelligence physics and information the tradeoff between accuracy and simplicity in machine learning")
  Member "research priorities for robust and beneficial artificial intelligence":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "intelligence physics and information the tradeoff between accuracy and simplicity in machine learning")
  Member "heuristic search value iteration for pomdps":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "point based methods for model checking in partially observable markov decision processes")
  Member "control of probabilistic systems under dynamic partially known environments with temporal logic specifications":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "control theory meets pomdps a hybrid systems approach")
  Member "perseus randomized point based value iteration for pomdps":
    also connected through other hyperedges:
      - Hyperedge HE-8 (induced by source paper "mobility and blockage aware communications in millimeter wave vehicular networks")

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