28 citations · 43 across the 11 of their papers we have counts for
1 paper · 1 filter
Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj
The value 1 problem is a decision problem for probabilistic automata over finite words: given a probabilistic automaton A, are there words accepted by A with probability arbitraril…