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: "vispec a graphical tool for elicitation of mtl requirements"
  Abstract: One of the main barriers preventing widespread use of formal methods is the elicitation of formal specifications. Formal specifications facilitate the testing and verification process for safety critical robotic systems. However, handling the intricacies of formal languages is difficult and requires a high level of expertise in formal logics that many system developers do not have. In this work, we present a graphical tool designed for the development and visualization of formal specifications by people that do not have training in formal logic. The tool enables users to develop specifications using a graphical formalism which is then automatically translated to Metric Temporal Logic (MTL). In order to evaluate the effectiveness of our tool, we have also designed and conducted a usability study with cohorts from the academic student community and industry. Our results indicate that both groups were able to define formal requirements with high levels of accuracy. Finally, we present applications of our tool for defining specifications for operation of robotic surgery and autonomous quadcopter safe operation.

Connected through hyperedge HE-1 (induced by source paper "requirements driven test generation for autonomous vehicles with machine learning components"):
  with members:
    - "counterexample guided data augmentation"
    - "semantic adversarial deep learning"
    - "accelerated evaluation of automated vehicles safety in lane change scenarios based on importance sampling techniques"
    - "deep predictive models for collision risk assessment in autonomous driving"
    - "carla an open urban driving simulator"
    - "feature guided black box safety testing of deep neural networks"
    - "on a formal model of safe and scalable self driving cars"
    - "compositional falsification of cyber physical systems with machine learning components"

Connected through hyperedge HE-2 (induced by source paper "generating automated and online test oracles for simulink models with continuous and uncertain behaviors"):
  with members:
    - "signal convolution logic"
    - "on line monitoring for temporal logic robustness"

Connected through hyperedge HE-3 (induced by source paper "extended ltlvis motion planning interface extended technical report"):
  with members:
    - "extended ltlvis motion planning interface"
    - "revision of specification automata under quantitative preferences"
    - "optimal path planning under temporal logic constraints"

Connected through hyperedge HE-4 (induced by source paper "formal requirement debugging for testing and verification of cyber physical systems"):
  with members:
    - "low effort specification debugging and analysis"
    - "optimal strategy synthesis for request response games"
    - "deciding the satisfiability of mitl specifications"

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.SE(Software Engineering)