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: "formal verification of autonomous vehicle platooning"
  Abstract: The coordination of multiple autonomous vehicles into convoys or platoons is expected on our highways in the near future. However, before such platoons can be deployed, the new autonomous behaviors of the vehicles in these platoons must be certified. An appropriate representation for vehicle platooning is as a multi-agent system in which each agent captures the "autonomous decisions" carried out by each vehicle. In order to ensure that these autonomous decision-making agents in vehicle platoons never violate safety requirements, we use formal verification. However, as the formal verification technique used to verify the agent code does not scale to the full system and as the global verification technique does not capture the essential verification of autonomous behavior, we use a combination of the two approaches. This mixed strategy allows us to verify safety requirements not only of a model of the system, but of the actual agent code used to program the autonomous vehicles.

Connected through hyperedge HE-1 (induced by source paper "assessing the safety and reliability of autonomous vehicles from road testing"):
  with members:
    - "probabilistic model checking of robots deployed in extreme environments"
    - "deeptest automated testing of deep neural network driven autonomous cars"
    - "the social dilemma of autonomous vehicles"
    - "a survey of motion planning and control techniques for self driving urban vehicles"

Connected through hyperedge HE-2 (induced by source paper "formal specification and verification of autonomous robotic systems a survey"):
  with members:
    - "modular verification of vehicle platooning with respect to decisions space and time"
    - "automating verification of state machines with reactive designs and isabelle utp"
    - "robotics and integrated formal methods necessity meets opportunity"
    - "formal verification of obstacle avoidance and navigation of ground robots"
    - "developing bug free machine learning systems with formal mathematics"
    - "a rational agent controlling an autonomous vehicle implementation and formal verification"
    - "a stochastically verifiable autonomous control architecture with reasoning"
    - "towards the verification of safety critical autonomous systems in dynamic environments"

Connected through hyperedge HE-3 (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 specification of adaptive robotic systems"
    - "towards the verification of safety critical autonomous systems in dynamic environments"
    - "an assurance based approach to verification and validation of human robot teams"
    - "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"

Connected through hyperedge HE-4 (induced by source paper "modular verification of vehicle platooning with respect to decisions space and time"):
  with members:
    - "formal verification of platoon control strategies"

Connected through hyperedge HE-5 (induced by source paper "formal verification of platoon control strategies"):
  with members:
    - "formalization of transform methods using hol light"

Connected through hyperedge HE-6 (induced by source paper "cooperative automated vehicles a review of opportunities and challenges in socially intelligent vehicles beyond networking"):
  with members:
    - "ethical implications of social internet of vehicles systems"
    - "laair a layered architecture for autonomous interactive robots"
    - "autonomous vehicles that interact with pedestrians a survey of theory and practice"
    - "implementation and evaluation of a cooperative vehicle to pedestrian safety application"
    - "on a formal model of safe and scalable self driving cars"
    - "cognitive internet of things a new paradigm beyond connection"

Connected through hyperedge HE-7 (induced by source paper "vehicle platooning simulations with functional reactive programming"):
  with members:
    - "juniper a functional reactive programming language for the arduino"
    - "simulated car racing championship competition software manual"

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.AI(Artificial Intelligence)