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 "verified runtime validation for partially observable hybrid systems"):
  Abstract: Formal verification provides strong safety guarantees but only for models of cyber-physical systems. Hybrid system models describe the required interplay of computation and physical dynamics, which is crucial to guarantee what computations lead to safe physical behavior (e.g., cars should not collide). Control computations that affect physical dynamics must act in advance to avoid possibly unsafe future circumstances. Formal verification then ensures that the controllers correctly identify and provably avoid unsafe future situations under a certain model of physics. But any model of physics necessarily deviates from reality and, moreover, any observation with real sensors and manipulation with real actuators is subject to uncertainty. This makes runtime validation a crucial step to monitor whether the model assumptions hold for the real system implementation. #R##N#The key question is what property needs to be runtime-monitored and what a satisfied runtime monitor entails about the safety of the system: the observations of a runtime monitor only relate back to the safety of the system if they are themselves accompanied by a proof of correctness! For an unbroken chain of correctness guarantees, we, thus, synthesize runtime monitors in a provably correct way from provably safe hybrid system models. This paper addresses the inevitable challenge of making the synthesized monitoring conditions robust to partial observability of sensor uncertainty and partial controllability due to actuator disturbance. We show that the monitoring conditions result in provable safety guarantees with fallback controllers that react to monitor violation at runtime.

Includes members:
  Member "differential equation axiomatization the impressive power of differential ghosts":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "constructive hybrid games")
  Member "soter programming safe robotics system using runtime assurance":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "input validation for neural networks via runtime local robustness verification")
  Member "a complete uniform substitution calculus for differential dynamic logic":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "verifiably safe off model reinforcement learning")
  Member "fastrack a modular framework for fast and guaranteed safe motion planning":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "safety considerations in deep control policies with safety barrier certificates under uncertainty")
  Member "formal verification of obstacle avoidance and navigation of ground robots":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "overview of logical foundations of cyber physical systems")
  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 "on line monitoring for temporal logic robustness":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "tractable reinforcement learning of signal temporal logic objectives")
  Member "counter strategy guided refinement of gr 1 temporal logic specifications":
    also connected through other hyperedges:
      - Hyperedge HE-8 (induced by source paper "the challenges in specifying and explaining synthesized implementations of reactive systems")

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.LO(Logic in Computer Science)