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

15 years 10 months ago

Download www.lri.fr

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

claim paper

Read More »

118

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

On the Memory Consumption of Probabilistic Pushdown Automata

15 years 10 months ago

Download www7.in.tum.de

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

claim paper

Read More »

121

click to vote

QEST
2008
IEEE

127views Modeling and Simulation» more QEST 2008»

Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata

15 years 10 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

15 years 10 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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers