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 "simulation based adversarial test generation for autonomous vehicles with machine learning components"):
  Abstract: Many organizations are developing autonomous driving systems, which are expected to be deployed at a large scale in the near future. Despite this, there is a lack of agreement on appropriate methods to test, debug, and certify the performance of these systems. One of the main challenges is that many autonomous driving systems have machine learning components, such as deep neural networks, for which formal properties are difficult to characterize. We present a testing framework that is compatible with test case generation and automatic falsification methods, which are used to evaluate cyber-physical systems. We demonstrate how the framework can be used to evaluate closed-loop properties of an autonomous driving system model that includes the ML components, all within a virtual environment. We demonstrate how to use test case generation methods, such as covering arrays, as well as requirement falsification methods to automatically identify problematic test scenarios. The resulting framework can be used to increase the reliability of autonomous driving systems.

Includes members:
  Member "semantic adversarial deep learning":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "metrics and methods for robustness evaluation of neural networks with generative models")
  Member "deep predictive models for collision risk assessment in autonomous driving":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "requirements driven test generation for autonomous vehicles with machine learning components")
  Member "output range analysis for deep neural networks":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "metrics and methods for robustness evaluation of neural networks with generative models")
  Member "systematic testing of convolutional neural networks for autonomous driving":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "a formalization of robustness for deep neural networks")
  Member "deepxplore automated whitebox testing of deep learning systems":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "importance driven deep learning system testing")
  Member "on a formal model of safe and scalable self driving cars":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "training adversarial agents to exploit weaknesses in deep control policies")
  Member "reluplex an efficient smt solver for verifying deep neural networks":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "adversarial ranking attack and defense")
  Member "compositional falsification of cyber physical systems with machine learning components":
    also connected through other hyperedges:
      - Hyperedge HE-8 (induced by source paper "teaching temporal logics to neural networks")

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.SY(Systems and Control)