Dimitrios Gerontitis

Approximating Heterotypic Bisimulations for Weighted Finite Automata over the Field of Real Numbers

Predrag S. Stanimirović, Miroslav Ćirić, Darjan Karabašević, Dimitrios Gerontitis

This paper examines the existence and approximation of bisimulations between weighted finite automata (WFAs) over the real numbers. It shows that forward–backward bisimulation (fbb) and backward–forward bisimulation (bfb) between two WFAs are equivalent to solving specific homoge…Read more