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 "safe policy synthesis in multi agent pomdps via discrete time barrier functions"):
  Abstract: A multi-agent partially observable Markov decision process (MPOMDP) is a modeling paradigm used for high-level planning of heterogeneous autonomous agents subject to uncertainty and partial observation. Despite their modeling efficiency, MPOMDPs have not received significant attention in safety-critical settings. In this paper, we use barrier functions to design policies for MPOMDPs that ensure safety. Notably, our method does not rely on discretization of the belief space, or finite memory. To this end, we formulate sufficient and necessary conditions for the safety of a given set based on discrete-time barrier functions (DTBFs) and we demonstrate that our formulation also allows for Boolean compositions of DTBFs for representing more complicated safe sets. We show that the proposed method can be implemented online by a sequence of one-step greedy algorithms as a standalone safe controller or as a safety-filter given a nominal planning policy. We illustrate the efficiency of the proposed methodology based on DTBFs using a high-fidelity simulation of heterogeneous robots.

Includes members:
  Member "verification of uncertain pomdps using barrier certificates":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "point based methods for model checking in partially observable markov decision processes")
  Member "barrier certificates for assured machine teaching":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "control theory meets pomdps a hybrid systems approach")
  Member "privacy verification in pomdps via barrier certificates":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "control theory meets pomdps a hybrid systems approach")
  Member "shielded decision making in mdps":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "cautious reinforcement learning with logical constraints")
  Member "enhancing the performance of a safe controller via supervised learning for truck lateral control":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "continuous time signal temporal logic planning with control barrier function")
  Member "the communicative multiagent team decision problem analyzing teamwork theories and models":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "learning multi agent communication under limited bandwidth restriction for internet packet routing")

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.RO(Robotics)