Jakub Ruszil

is this you? claim profile

Approximation algorithm for finding short synchronizing words in weighted automata

In this paper we are dealing with the issue of finding possibly short sy...
03/30/2021 ∙ by Jakub Ruszil, et al. ∙ 0 ∙ share

read it
On synchronization of partial automata

A goal of this paper is to introduce the new construction of an automato...
04/19/2020 ∙ by Jakub Ruszil, et al. ∙ 0 ∙ share

read it