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 "permissive controller synthesis for probabilistic systems"):
  Abstract: We propose novel controller synthesis techniques for probabilistic systems  modelled using stochastic two-player games: one player acts as a controller, the second  represents its environment, and probability is used to capture uncertainty arising due to,  for example, unreliable sensors or faulty system components. Our aim is to generate robust  controllers that are resilient to unexpected system changes at runtime, and flexible enough  to be adapted if additional constraints need to be imposed. We develop a permissive controller  synthesis framework, which generates multi-strategies for the controller, offering a  choice of control actions to take at each time step. We formalise the notion of permissivity  using penalties, which are incurred each time a possible control action is disallowed by  a multi-strategy. Permissive controller synthesis aims to generate a multi-strategy that  minimises these penalties, whilst guaranteeing the satisfaction of a specified system property.  We establish several key results about the optimality of multi-strategies and the  complexity of synthesising them. Then, we develop methods to perform permissive controller  synthesis using mixed integer linear programming and illustrate their effectiveness  on a selection of case studies.

Includes members:
  Member "measuring permissiveness in parity games mean payoff parity games revisited":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "quantitative reductions and vertex ranked infinite games")
  Member "multi objective model checking of markov decision processes":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "the probabilistic model checker storm")
  Member "first order and temporal logics for nested words":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "model checking the interval way")

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.LO(Logic in Computer Science)