15 citations · 15 across the 2 of their papers we have counts for
1 paper · 1 filter
Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
A weighted automaton is functional if any two accepting runs on the same finite word have the same value. In this paper, we investigate functional weighted automata for four differ…