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 "a corroborative approach to verification and validation of human robot teams"):
  Abstract: We present an approach for the verification and validation (VV in this paper we use formal verification (model checking), simulation-based testing, and user validation in experiments with a real robot. We demonstrate our corroborative V&V approach through a handover task, the most critical part of a complex cooperative manufacturing scenario, for which we propose some safety and liveness requirements to verify and validate. We construct formal models, simulations and an experimental test rig for the HRI. To capture requirements we use temporal logic properties, assertion checkers and textual descriptions. This combination of approaches allows V&V of the HRI task at different levels of modelling detail and thoroughness of exploration, thus overcoming the individual limitations of each technique. Should the resulting V&V evidence present discrepancies, an iterative process between the different V&V techniques takes place until corroboration between the V&V techniques is gained from refining and improving the assets (i.e., system and requirement models) to represent the HRI task in a more truthful manner. Therefore, corroborative V&V affords a systematic approach to 'meta-V&V,' in which different V&V techniques can be used to corroborate and check one another, increasing the level of certainty in the results of V&V.

Includes members:
  Member "formal verification of obstacle avoidance and navigation of ground robots":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "overview of logical foundations of cyber physical systems")
  Member "testing verification and improvements of timeliness in ros processes":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "an assurance based approach to verification and validation of human robot teams")
  Member "a model for safety case confidence assessment":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "an assurance based approach to verification and validation of human robot teams")
  Member "coverage driven verification an approach to verify code for robots that directly interact with humans":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "an agency directed approach to test generation for simulation based autonomous vehicle verification")
  Member "systematic and realistic testing in simulation of control code for robots in collaborative human robot interactions":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "model based test generation for robotic software automata versus belief desire intention agents")
  Member "towards the safety of human in the loop robotics challenges and opportunities for safety assurance of robotic co workers":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "effects of faults experience and personality on trust in a robot co worker")

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)