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 "soter a runtime assurance framework for programming safe robotics systems"):
  Abstract: The recent drive towards achieving greater autonomy and intelligence in robotics has led to high levels of complexity. Autonomous robots increasingly depend on third party off-the-shelf components and complex machine-learning techniques. This trend makes it challenging to provide strong design-time certification of correct operation. #R##N#To address these challenges, we present SOTER, a robotics programming framework with two key components: (1) a programming language for implementing and testing high-level reactive robotics software and (2) an integrated runtime assurance (RTA) system that helps enable the use of uncertified components, while still providing safety guarantees. SOTER provides language primitives to declaratively construct a RTA module consisting of an advanced, high-performance controller (uncertified), a safe, lower-performance controller (certified), and the desired safety specification. The framework provides a formal guarantee that a well-formed RTA module always satisfies the safety specification, without completely sacrificing performance by using higher performance uncertified components whenever safe. SOTER allows the complex robotics software stack to be constructed as a composition of RTA modules, where each uncertified component is protected using a RTA module. #R##N#To demonstrate the efficacy of our framework, we consider a real-world case-study of building a safe drone surveillance system. Our experiments both in simulation and on actual drones show that the SOTER-enabled RTA ensures the safety of the system, including when untrusted third-party components have bugs or deviate from the desired behavior.

Includes members:
  Member "soter programming safe robotics system using runtime assurance":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "input validation for neural networks via runtime local robustness verification")
  Member "fastrack a modular framework for fast and guaranteed safe motion planning":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "safety considerations in deep control policies with safety barrier certificates under uncertainty")
  Member "compositional falsification of cyber physical systems with machine learning components":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "teaching temporal logics to neural networks")
  Member "a component based simplex architecture for high assurance cyber physical systems":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "dynamic weighted simplex strategy for learning enabled cyber physical systems")
  Member "towards verified artificial intelligence":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "teaser fast and certifiable point cloud registration")
  Member "robust online monitoring of signal temporal logic":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "paracosm a language and tool for testing autonomous driving systems")
  Member "a verifiable and correct by construction controller for robot functional levels":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "distributed priority synthesis and its applications")
  Member "safe exploration in markov decision processes":
    also connected through other hyperedges:
      - Hyperedge HE-8 (induced by source paper "cautious reinforcement learning with logical constraints")

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)