Search Sciweavers | Sciweavers

391 search results - page 22 / 79

» Compositionality for Probabilistic Automata

105

click to vote

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

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

Download www.fi.muni.cz

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

claim paper

Read More »

115

click to vote

STACS
2005
Springer

86views Theoretical Computer Science» more STACS 2005»

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

15 years 11 months ago

Download www.fi.muni.cz

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

claim paper

Read More »

104

click to vote

SSPR
2004
Springer

75views Pattern Recognition» more SSPR 2004»

Improving Probabilistic Automata Learning with Additional Knowledge

15 years 11 months ago

Download www.info.ucl.ac.be

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

claim paper

Read More »

135

click to vote

ICALP
2003
Springer

96views Programming Languages» more ICALP 2003»

A Testing Scenario for Probabilistic Automata

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers