Sciweavers

1343 search results - page 12 / 269
» Learning Weighted Automata
Sort
View
HYBRID
2001
Springer
14 years 2 months ago
Optimal Paths in Weighted Timed Automata
Rajeev Alur, Salvatore La Torre, George J. Pappas
CSR
2006
Springer
14 years 1 months ago
Conjugacy and Equivalence of Weighted Automata and Functional Transducers
We show that two equivalent K-automata are conjugate to a third one, when K is equal to B, N, Z, or any (skew) field and that the same holds true for functional tranducers as well....
Marie-Pierre Béal, Sylvain Lombardy, Jacque...
FMCO
2006
Springer
107views Formal Methods» more  FMCO 2006»
14 years 1 months ago
Learning Meets Verification
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...
Martin Leucker