Now showing items 1-2 of 2

    • Solving Partial-Information Stochastic Parity Games 

      Nain, Sumit; Vardi, Moshe Y. (2013)
      We study one-sided partial-information 2-player concurrent stochastic games with parity objectives. In such a game, one of the players has only partial visibility of the state of the game, while the other player has complete ...
    • Synthesis from Probabilistic Components 

      Nain, Sumit; Lustig, Yoad; Vardi, Moshe Y. (2014)
      Synthesis is the automatic construction of a system from its specification. In classical synthesis algorithms, it is always assumed that the system is "constructed from scratch" rather than composed from reusable components. ...