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: "reinforcement learning with temporal logic rewards"
  Abstract: Reinforcement learning (RL) depends critically on the choice of reward functions used to capture the de- sired behavior and constraints of a robot. Usually, these are handcrafted by a expert designer and represent heuristics for relatively simple tasks. Real world applications typically involve more complex tasks with rich temporal and logical structure. In this paper we take advantage of the expressive power of temporal logic (TL) to specify complex rules the robot should follow, and incorporate domain knowledge into learning. We propose Truncated Linear Temporal Logic (TLTL) as specifications language, that is arguably well suited for the robotics applications, together with quantitative semantics, i.e., robustness degree. We propose a RL approach to learn tasks expressed as TLTL formulae that uses their associated robustness degree as reward functions, instead of the manually crafted heuristics trying to capture the same specifications. We show in simulated trials that learning is faster and policies obtained using the proposed approach outperform the ones learned using heuristic rewards in terms of the robustness degree, i.e., how well the tasks are satisfied. Furthermore, we demonstrate the proposed RL approach in a toast-placing task learned by a Baxter robot.

Connected through hyperedge HE-1 (induced by source paper "tractable reinforcement learning of signal temporal logic objectives"):
  with members:
    - "temporal logic guided safe reinforcement learning using control barrier functions"
    - "transfer of temporal logic formulas in reinforcement learning"
    - "q learning for robust satisfaction of signal temporal logic specifications"
    - "on line monitoring for temporal logic robustness"
    - "verification of markov decision processes using learning algorithms"
    - "a learning based approach to control synthesis of markov decision processes for linear temporal logic specifications"
    - "probably approximately correct mdp learning and control with temporal logic constraints"

Connected through hyperedge HE-2 (induced by source paper "certified reinforcement learning with logic guidance"):
  with members:
    - "the probabilistic model checker storm"
    - "deepsynth program synthesis for automatic task segmentation in deep reinforcement learning"
    - "rethinking the discount factor in reinforcement learning a decision theoretic approach"
    - "verifiably safe off model reinforcement learning"
    - "logically constrained reinforcement learning"
    - "playing hard exploration games by watching youtube"
    - "from game theoretic multi agent log linear learning to reinforcement learning"
    - "observe and look further achieving consistent performance on atari"

Connected through hyperedge HE-3 (induced by source paper "temporal logic guided safe reinforcement learning using control barrier functions"):
  with members:
    - "barrier certified adaptive reinforcement learning with applications to brushbot navigation"
    - "end to end safe reinforcement learning through barrier functions for safety critical continuous control tasks"
    - "automata guided reinforcement learning with demonstrations"
    - "safe exploration in continuous action spaces"
    - "closing the sim to real loop adapting simulation randomization with real world experience"
    - "the surprising creativity of digital evolution a collection of anecdotes from the evolutionary computation and artificial life research communities"
    - "sim to real via sim to sim data efficient robotic grasping via randomized to canonical adaptation networks"
    - "reinforcement learning for ltlf ldlf goals"

Connected through hyperedge HE-4 (induced by source paper "formal language constraints for markov decision processes"):
  with members:
    - "automata guided reinforcement learning with demonstrations"
    - "logically constrained neural fitted q iteration"
    - "shielded decision making in mdps"
    - "verifiable reinforcement learning via policy extraction"
    - "environment independent task specifications via gltl"
    - "constrained policy optimization"
    - "safe reinforcement learning via shielding"
    - "proximal policy optimization algorithms"

Connected through hyperedge HE-5 (induced by source paper "control synthesis from linear temporal logic specifications using model free reinforcement learning"):
  with members:
    - "logically constrained reinforcement learning"
    - "omega regular objectives in model free reinforcement learning"
    - "foundations for restraining bolts reinforcement learning with ltlf ldlf restraining specifications"
    - "a policy search method for temporal logic specified reinforcement learning tasks"
    - "probabilistic motion planning under temporal tasks and soft constraints"
    - "q learning for robust satisfaction of signal temporal logic specifications"
    - "correct by synthesis reinforcement learning with temporal logic constraints"
    - "verification of markov decision processes using learning algorithms"

Connected through hyperedge HE-6 (induced by source paper "constraint satisfaction propagation non stationary policy synthesis for temporal logic planning"):
  with members:
    - "optimizing agent behavior over long time scales by transporting value"
    - "temporal logic control of general markov decision processes by approximate policy refinement"
    - "rudder return decomposition for delayed rewards"
    - "variational option discovery algorithms"
    - "eigenoption discovery through the deep successor representation"
    - "the eigenoption critic framework"
    - "hierarchical subtask discovery with non negative matrix factorization"
    - "environment independent task specifications via gltl"

Connected through hyperedge HE-7 (induced by source paper "using logical specifications of objectives in multi objective reinforcement learning"):
  with members:
    - "using natural language for reward shaping in reinforcement learning"
    - "temporal logic guided safe reinforcement learning using control barrier functions"
    - "from language to goals inverse reinforcement learning for vision based instruction following"
    - "dynamic weights in multi objective deep reinforcement learning"
    - "soft actor critic algorithms and applications"
    - "generalizing across multi objective reward functions in deep reinforcement learning"
    - "hindsight experience replay"
    - "q learning for robust satisfaction of signal temporal logic specifications"

Connected through hyperedge HE-8 (induced by source paper "transfer of temporal logic formulas in reinforcement learning"):
  with members:
    - "information guided temporal logic inference with prior knowledge"
    - "mining parametric temporal logic properties in model based design for cyber physical systems"
    - "census signal temporal logic inference for multiagent group behavior analysis"
    - "learning linear temporal properties"
    - "learning task specifications from demonstrations"
    - "safe reinforcement learning via shielding"
    - "q learning for robust satisfaction of signal temporal logic specifications"
    - "probably approximately correct mdp learning and control with temporal logic constraints"

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)