Sciweavers

391 search results - page 24 / 79
» Compositionality for Probabilistic Automata
Sort
View
IJFCS
2008
108views more  IJFCS 2008»
15 years 2 months ago
On the Computation of the Relative Entropy of Probabilistic Automata
Corinna Cortes, Mehryar Mohri, Ashish Rastogi, Mic...
94
Voted
IJFCS
2007
58views more  IJFCS 2007»
15 years 2 months ago
LP Distance and Equivalence of Probabilistic Automata
Corinna Cortes, Mehryar Mohri, Ashish Rastogi
EATCS
2002
58views more  EATCS 2002»
15 years 2 months ago
An Introduction to Probabilistic Automata
Mariëlle Stoelinga
SIAMCOMP
1998
99views more  SIAMCOMP 1998»
15 years 2 months ago
On the Power of Finite Automata with Both Nondeterministic and Probabilistic States
Anne Condon, Lisa Hellerstein, Samuel Pottle, Avi ...
103
Voted
QEST
2010
IEEE
15 years 16 days ago
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Michael Huth, Nir Piterman, Daniel Wagner