24 citations · 32 across the 8 of their papers we have counts for
9 papers
Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
Marko Stanković, Miroslav Ćirić, Jelena Ignjatović
In a recent paper, we have introduced two types of fuzzy simulations (forward and backward) and five types of fuzzy bisimulations (forward, backward, forward-backward, backward-for…
Weighted Automata over Vector Spaces
Nada Damljanović, Miroslav Ćirić, Jelena Ignjatović
In this paper we deal with three models of weighted automata that take weights in the field of real numbers. The first of these models are classical weighted finite automata, the s…
Weighted finite automata with output
Jelena Ignjatović, Miroslav Ćirić, Zorana Jančić
In this paper we prove the equivalence of sequential, Mealy-type and Moore-type weighted finite automata with output, with respect to various semantics which are defined here.
Determinization of fuzzy automata by means of the degrees of language inclusion
Ivana Micić, Zorana Jančić, Jelena Ignjatović +1
Determinization of fuzzy finite automata is understood here as a procedure of their conversion into equivalent crisp-deterministic fuzzy automata, which can be viewed as being dete…
Further improvements of determinization methods for fuzzy finite automata
Zorana Jančić, Ivana Micić, Jelena Ignjatović +1
In this paper we combine determinization and state reduction methods into two-in-one algorithms that simultaneously perform determinization and state reduction. These algorithms pe…
Weakly linear systems of fuzzy relation inequalities: The heterogeneous case
Jelena Ignjatović, Miroslav Ćirić, Nada Damljanović +1
New types of systems of fuzzy relation inequalities and equations, called weakly linear, have been recently introduced in [J. Ignjatović, M. Ćirić, S. Bogdanović, On the greatest s…