Search Sciweavers | Sciweavers

163 search results - page 15 / 33

» An Introduction to Probabilistic Automata

122

click to vote

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

16 years 1 months ago

Download www.lsv.ens-cachan.fr

Christel Baier, Nathalie Bertrand, Patricia Bouyer...

claim paper

Read More »

105

click to vote

LICS
2005
IEEE

76views Automated Reasoning» more LICS 2005»

Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

16 years 19 days ago

Download www.fi.muni.cz

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

claim paper

Read More »

126

click to vote

STACS
2005
Springer

86views Theoretical Computer Science» more STACS 2005»

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

16 years 16 days ago

Download www.fi.muni.cz

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

claim paper

Read More »

118

click to vote

SSPR
2004
Springer

75views Pattern Recognition» more SSPR 2004»

Improving Probabilistic Automata Learning with Additional Knowledge

16 years 12 days ago

Download www.info.ucl.ac.be

Christopher Kermorvant, Colin de la Higuera, Pierr...

claim paper

Read More »

159

click to vote

ICALP
2003
Springer

96views Programming Languages» more ICALP 2003»

A Testing Scenario for Probabilistic Automata

16 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers