365 citations
- University of KragujevacRS26 papers
- University of BelgradeRS18 papers
- Vinča Institute of Nuclear Sciences15 papers
- Serbian Academy of Sciences and ArtsRS10 papers
- Mathematical Institute of the Serbian Academy of Sciences and Arts9 papers
- Ruđer Bošković InstituteHR9 papers
- Tel Aviv UniversityIL9 papers
- University of PrimorskaSI9 papers
- Institute of Physics BelgradeRS8 papers
- University of Novi SadRS6 papers
- University of CambridgeGB4 papers
- Foundation for Research and Technology HellasGR3 papers
8 papers · 1 filter
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…
Approximate State Reduction of Fuzzy Finite Automata
Miroslav Ćirić, Ivana Micić, Stefan Stanimirović +1
In this paper we introduce a new type of approximate state reductions where the behaviors of the reduced and the original automaton do not have to be identical, but they must match…
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.
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…
Construction of fuzzy automata from fuzzy regular expressions
Aleksandar Stamenković, Miroslav Ćirić
Li and Pedrycz [Y. M. Li, W. Pedrycz, Fuzzy finite automata and fuzzy regular expressions with membership values in lattice ordered monoids, Fuzzy Sets and Systems 156 (2005) 68--9…
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…