@misc{indiciae06af3600f5b3, title = {Approximation algorithm for finding short synchronizing words in weighted automata}, author = {Jakub Ruszil}, year = {2021}, url = {https://arxiv.org/abs/2103.16185}, note = {Source identifier: 2103.16185} }