Sciweavers

163 search results - page 17 / 33
» An Introduction to Probabilistic Automata
Sort
View
IJFCS
2008
108views more  IJFCS 2008»
14 years 11 months ago
On the Computation of the Relative Entropy of Probabilistic Automata
Corinna Cortes, Mehryar Mohri, Ashish Rastogi, Mic...
IJFCS
2007
58views more  IJFCS 2007»
14 years 11 months ago
LP Distance and Equivalence of Probabilistic Automata
Corinna Cortes, Mehryar Mohri, Ashish Rastogi
SIAMCOMP
1998
99views more  SIAMCOMP 1998»
14 years 11 months ago
On the Power of Finite Automata with Both Nondeterministic and Probabilistic States
Anne Condon, Lisa Hellerstein, Samuel Pottle, Avi ...
76
Voted
QEST
2010
IEEE
14 years 9 months ago
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Michael Huth, Nir Piterman, Daniel Wagner
IJFCS
2008
130views more  IJFCS 2008»
14 years 11 months ago
Equivalence of Labeled Markov Chains
We consider the equivalence problem for labeled Markov chains (LMCs), where each state is labeled with an observation. Two LMCs are equivalent if every finite sequence of observat...
Laurent Doyen, Thomas A. Henzinger, Jean-Fran&cced...