TY - RPRT TI - Approximation algorithm for finding short synchronizing words in weighted automata AU - Jakub Ruszil PY - 2021 UR - https://arxiv.org/abs/2103.16185 ID - 2103.16185 ER -