Search Sciweavers | Sciweavers

503 search results - page 23 / 101

» Probabilistic Weighted Automata

click to vote

FSTTCS
2009
Springer

95views Software Engineering» more FSTTCS 2009»

Recurrence and Transience for Probabilistic Automata

14 years 3 months ago

Download www.lri.fr

Mathieu Tracol, Christel Baier, Marcus Grö&sz...

claim paper

Read More »

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

On the Memory Consumption of Probabilistic Pushdown Automata

14 years 3 months ago

Download www7.in.tum.de

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

claim paper

Read More »

click to vote

QEST
2008
IEEE

127views Modeling and Simulation» more QEST 2008»

Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata

14 years 3 months ago

Download www.lsv.ens-cachan.fr

Najla Chamseddine, Marie Duflot, Laurent Fribourg,...

claim paper

Read More »

click to vote

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

14 years 2 months ago

Download www.lsv.ens-cachan.fr

Christel Baier, Nathalie Bertrand, Patricia Bouyer...

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 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers