Deciding the value 1 problem for probabilistic leaktight automata
['Nathanaël Fijalkow', 'Hugo Gimbert', 'Edon Kelmendi', 'Youssouf Oualhadj']
Deciding the value 1 problem for probabilistic leaktight automata