4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.LO2014★ 4 cited
Synthesis from Probabilistic Components
Sumit Nain, Yoad Lustig, Moshe Y Vardi
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" ra…
cs.LO2014
The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies
Krishnendu Chatterjee, Laurent Doyen, Sumit Nain +1
We consider two-player partial-observation stochastic games on finite-state graphs where player 1 has partial observation and player 2 has perfect observation. The winning conditio…