New
Every arXiv paper, its researchers & institutions — mapped.
◍
wove
paper
Search
Papers
Researchers
Institutions
Sign in
papers
Publications (2)
cs.LO
2014
Synthesis from Probabilistic Components
Sumit Nain, Yoad Lustig, Moshe Y Vardi
cs.LO
2014
The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies
Krishnendu Chatterjee, Laurent Doyen, Sumit Nain +1