154 citations · 947 across the 39 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.FL2017★ 10 cited
Singular value automata and approximate minimization
Borja Balle, Prakash Panangaden, Doina Precup
The present paper uses spectral theory of linear operators to construct approximately minimal realizations of weighted languages. Our new contributions are: (i) a new algorithm for…
cs.FL2017★ 7 cited
Bisimulation Metrics for Weighted Automata
Borja Balle, Pascale Gourdeau, Prakash Panangaden
We develop a new bisimulation (pseudo)metric for weighted finite automata (WFA) that generalizes Boreale's linear bisimulation relation. Our metrics are induced by seminorms on the…