Search Sciweavers | Sciweavers

223 search results - page 12 / 45

» Synchronization of Pushdown Automata

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

On the Memory Consumption of Probabilistic Pushdown Automata

14 years 2 months ago

Download www7.in.tum.de

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

claim paper

Read More »

click to vote

WIA
2007
Springer

134views Artificial Intelligence» more WIA 2007»

Regulated Nondeterminism in Pushdown Automata

14 years 1 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

14 years 1 months ago

Download www.fi.muni.cz

Javier Esparza, Antonín Kucera, Richard May...

claim paper

Read More »

click to vote

STACS
2005
Springer

86views Theoretical Computer Science» more STACS 2005»

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

14 years 1 months ago

Download www.fi.muni.cz

Tomás Brázdil, Antonín Kucera...

claim paper

Read More »

click to vote

CAV
2001
Springer

88views Hardware» more CAV 2001»

Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks

14 years 15 hour ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers