24 citations · 32 across the 9 of their papers we have counts for
3 papers · 2 filters
Reduction of fuzzy automata by means of fuzzy quasi-orders
Aleksandar Stamenković, Miroslav Ćirić, Jelena Ignjatović
In our recent paper we have established close relationships between state reduction of a fuzzy recognizer and resolution of a particular system of fuzzy relation equations. In that…
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…
Bisimulations for fuzzy automata
Miroslav Ćirić, Jelena Ignjatović, Nada Damljanović +1
Bisimulations have been widely used in many areas of computer science to model equivalence between various systems, and to reduce the number of states of these systems, whereas uni…