Search Sciweavers | Sciweavers

163 search results - page 15 / 33

» An Introduction to Probabilistic Automata

click to vote

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

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

SSPR
2004
Springer

75views Pattern Recognition» more SSPR 2004»

Improving Probabilistic Automata Learning with Additional Knowledge

14 years 1 months ago

Download www.info.ucl.ac.be

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

claim paper

Read More »

click to vote

ICALP
2003
Springer

96views Programming Languages» more ICALP 2003»

A Testing Scenario for Probabilistic Automata

14 years 27 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers