Search results for "Recursive Markov chains"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Kousha Etessami, Mihalis Yannakakis	Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations.	J. ACM	2009	DBLP DOI BibTeX RDF	Recursive Markov chains, monotone nonlinear systems, multi-type branching processes, Newton's method, stochastic context-free grammars
2	Kousha Etessami, Mihalis Yannakakis	Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations.	STACS	2005	DBLP DOI BibTeX RDF
2	Mihalis Yannakakis, Kousha Etessami	Checking LTL Properties of Recursive Markov Chains.	QEST	2005	DBLP DOI BibTeX RDF
1	Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis	Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems.	QEST	2008	DBLP DOI BibTeX RDF
1	Mihalis Yannakakis	Automata, Probability, and Recursion.	CIAA	2008	DBLP DOI BibTeX RDF
1	Stefan Kiefer, Michael Luttenberger, Javier Esparza	On the convergence of Newton's method for monotone systems of polynomial equations.	STOC	2007	DBLP DOI BibTeX RDF	fixed-point equations, formal verification of software, probabilistic pushdown systems, Newton's method
1	Kousha Etessami, Mihalis Yannakakis	On the Complexity of Nash Equilibria and Other Fixed Points (Extended Abstract).	FOCS	2007	DBLP DOI BibTeX RDF
1	Dominik Wojtczak, Kousha Etessami	PReMo : An Analyzer for P robabilistic Re cursive Mo dels.	TACAS	2007	DBLP DOI BibTeX RDF
1	Mihalis Yannakakis	Recursion and Probability.	IFIP TCS	2006	DBLP DOI BibTeX RDF
1	Kousha Etessami, Mihalis Yannakakis	Recursive Markov Decision Processes and Recursive Stochastic Games.	ICALP	2005	DBLP DOI BibTeX RDF
1	Kousha Etessami, Mihalis Yannakakis	Algorithmic Verification of Recursive Probabilistic State Machines.	TACAS	2005	DBLP DOI BibTeX RDF
1	Javier Esparza, Kousha Etessami	Verifying Probabilistic Procedural Programs.	FSTTCS	2004	DBLP DOI BibTeX RDF

Displaying result #1 - #12 of 12 (100 per page; Change: )