Sumit Nain

Publication Activity (10 Years)

Years Active: 2003-2014
Publications (10 Years): 0

Top Topics

Probabilistic Interpretation

Reinforcement Learning Agents

Memory Requirements

Top Venues

Log. Methods Comput. Sci.

Publications

Sumit Nain, Yoad Lustig, Moshe Y. Vardi
Synthesis from Probabilistic Components. Log. Methods Comput. Sci. 10 (2) (2014)
Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi
The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies. CoRR (2014)
Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi
The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. FoSSaCS (2014)
Sumit Nain, Moshe Y. Vardi
Solving Partial-Information Stochastic Parity Games. LICS (2013)
Sumit Nain, Moshe Y. Vardi
Synthesizing Probabilistic Composers. FoSSaCS (2012)
Yoad Lustig, Sumit Nain, Moshe Y. Vardi
Synthesis from Probabilistic Components. CSL (2011)
Sumit Nain, Moshe Y. Vardi
Trace Semantics is Fully Abstract. LICS (2009)
Taolue Chen, Wan J. Fokkink, Bas Luttik, Sumit Nain
On finite alphabets and infinite bases. Inf. Comput. 206 (5) (2008)
Sumit Nain, Moshe Y. Vardi
Branching vs. Linear Time: Semantical Perspective. ATVA (2007)
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain
Bisimilarity is not finitely based over BPA with interrupt. Theor. Comput. Sci. 366 (1-2) (2006)
Taolue Chen, Wan J. Fokkink, Sumit Nain
On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. FoSSaCS (2006)
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain
Bisimilarity Is Not Finitely Based over BPA with Interrupt. CALCO (2005)
Wan J. Fokkink, Sumit Nain
A Finite Basis for Failure Semantics. ICALP (2005)
Wan J. Fokkink, Sumit Nain
On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds. FoSSaCS (2004)
Stefan Blom, Wan J. Fokkink, Sumit Nain
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. ICALP (2003)