90 citations · 114 across the 3 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2011★ 90 cited
Algorithms for computing the greatest simulations and bisimulations between fuzzy automata
Miroslav Ćirić, Jelena Ignjatović, Ivana Jančić +1
Recently, two types of simulations (forward and backward simulations) and four types of bisimulations (forward, backward, forward-backward, and backward-forward bisimulations) betw…
cs.FL2011
Nondeterministic automata: equivalence, bisimulations, and uniform relations
Miroslav Ćirić, Jelena Ignjatović, Milan Bašić +1
In this paper we study the equivalence of nondeterministic automata pairing the concept of a bisimulation with the recently introduced concept of a uniform relation. In this symbio…