Search Sciweavers | Sciweavers

503 search results - page 23 / 101

» Probabilistic Weighted Automata

117

click to vote

FSTTCS
2009
Springer

95views Software Engineering» more FSTTCS 2009»

Recurrence and Transience for Probabilistic Automata

16 years 14 days ago

Download www.lri.fr

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

claim paper

Read More »

137

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

On the Memory Consumption of Probabilistic Pushdown Automata

16 years 14 days ago

Download www7.in.tum.de

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

claim paper

Read More »

141

click to vote

QEST
2008
IEEE

127views Modeling and Simulation» more QEST 2008»

Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata

16 years 8 days ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

105

click to vote

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

16 years 2 days 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 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers