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: "systematic and realistic testing in simulation of control code for robots in collaborative human robot interactions"
  Abstract: Industries such as flexible manufacturing and home care will be transformed by the presence of robotic assistants. Assurance of safety and functional soundness for these robotic systems will require rigorous verification and validation. We propose testing in simulation using Coverage-Driven Verification (CDV) to guide the testing process in an automatic and systematic way. We use a two-tiered test generation approach, where abstract test sequences are computed first and then concretized (e.g., data and variables are instantiated), to reduce the complexity of the test generation problem. To demonstrate the effectiveness of our approach, we developed a testbench for robotic code, running in ROS-Gazebo, that implements an object handover as part of a human-robot interaction (HRI) task. Tests are generated to stimulate the robot's code in a realistic manner, through stimulating the human, environment, sensors, and actuators in simulation. We compare the merits of unconstrained, constrained and model-based test generation in achieving thorough exploration of the code under test, and interesting combinations of human-robot interactions. Our results show that CDV combined with systematic test generation achieves a very high degree of automation in simulation-based verification of control code for robots in HRI.

Connected through hyperedge HE-1 (induced by source paper "a corroborative approach to verification and validation of human robot teams"):
  with members:
    - "formal verification of obstacle avoidance and navigation of ground robots"
    - "testing verification and improvements of timeliness in ros processes"
    - "a model for safety case confidence assessment"
    - "coverage driven verification an approach to verify code for robots that directly interact with humans"
    - "towards the safety of human in the loop robotics challenges and opportunities for safety assurance of robotic co workers"

Connected through hyperedge HE-2 (induced by source paper "model based test generation for robotic software automata versus belief desire intention agents"):
  with members:
    - "intelligent agent based stimulation for testing robotic software in human robot interactions"
    - "coverage driven verification an approach to verify code for robots that directly interact with humans"
    - "towards the safety of human in the loop robotics challenges and opportunities for safety assurance of robotic co workers"

Connected through hyperedge HE-3 (induced by source paper "intelligent agent based stimulation for testing robotic software in human robot interactions"):
  with members:
    - "coverage driven verification an approach to verify code for robots that directly interact with humans"
    - "towards the safety of human in the loop robotics challenges and opportunities for safety assurance of robotic co workers"
    - "practical verification of decision making in agent based autonomous 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.RO(Robotics)