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: "towards the specification of adaptive robotic systems"
  Abstract: The widespread adoption of autonomous adaptive systems depends on provided guarantees of safety and functional correctness, at both design time and runtime. Specifying adaptive systems is cognitively difficult when their aspects are in a large number and have complicated dependencies. #R##N#We present a technique to construct and automatically explore a specification for systems that can degrade and/or adapt, towards analysis at design time for verification and validation. This technique combines and constructs sections of a lattice (or Hasse diagram) of all the possible ordered system degradations/adaptations of interest, limited by desirability or risk thresholds. The lattice allows the designer to understand the different levels and combinations of system degradations/adaptations. We use the lattices (or sections) to systematically explore whether a system is able to fulfil its task goals under a dynamic and uncertain environment, through probabilistic model checking. #R##N#We illustrate the proposed specification technique through a domestic robotic assistant example. Systematically exploring the lattice allowed comparing the probabilities of task success/failure, to determine which degradation/adaptation combinations can be allowed in the final system implementation.

Connected through hyperedge HE-1 (induced by source paper "robotics and integrated formal methods necessity meets opportunity"):
  with members:
    - "modular verification of vehicle platooning with respect to decisions space and time"
    - "a stochastically verifiable autonomous control architecture with reasoning"
    - "towards the verification of safety critical autonomous systems in dynamic environments"
    - "an assurance based approach to verification and validation of human robot teams"
    - "formal verification of autonomous vehicle platooning"
    - "contribution to the formal specification and verification of a multi agent robotic system"
    - "using models at runtime to address assurance for self adaptive systems"
    - "symmetry reduction enables model checking of more complex emergent behaviours of swarm navigation algorithms"

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)