Search Sciweavers | Sciweavers

113 search results - page 7 / 23

» 2-Visibly Pushdown Automata

154

click to vote

QEST
2008
IEEE

145views Modeling and Simulation» more QEST 2008»

Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems

16 years 6 days ago

Download www.era.lib.ed.ac.uk

We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...

Kousha Etessami, Dominik Wojtczak, Mihalis Yannaka...

claim paper

Read More »

153

click to vote

EDUTAINMENT
2009
Springer

337views Machine Learning» more EDUTAINMENT 2009»

Pushdown Automata Simulator

16 years 12 days ago

Download homepage.uibk.ac.at

Mohamed Hamada

claim paper

Read More »

136

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

On the Memory Consumption of Probabilistic Pushdown Automata

16 years 12 days ago

Download www7.in.tum.de

Tomás Brázdil, Javier Esparza, Stefa...

claim paper

Read More »

115

click to vote

WIA
2007
Springer

134views Artificial Intelligence» more WIA 2007»

Regulated Nondeterminism in Pushdown Automata

15 years 12 months ago

Download www.stringology.org

Martin Kutrib, Andreas Malcher, Larissa Werlein

claim paper

Read More »

click to vote

LICS
2005
IEEE

76views Automated Reasoning» more LICS 2005»

Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers