@incollection(BV.05, author = {B{\v{e}}lohl{\'a}vek, Radim and Vil{\'e}m Vychodil}, year = {2005}, title = {Fuzzy Equational Logic}, booktitle = {Fuzzy Equational Logic}, series = {Studies in Fuzziness and Soft Computing}, volume = {186}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {139--170}, doi = {10.1007/11376422_3}, ) @book(Bel.02, author = {B\v{e}lohl\'{a}vek, Radim}, year = {2002}, title = {Fuzzy Relational Systems: Foundations and Principles}, publisher = {Kluwer Academic Publishers}, address = {USA}, doi = {10.1007/978-1-4615-0633-1}, ) @article(BK.09, author = {B\v{e}lohl{\'{a}}vek, Radim and Michal Krupka}, year = {2009}, title = {On Approximate Minimization of Fuzzy Automata}, journal = {Journal of Multiple-Valued Logic and Soft Computing}, volume = {15}, number = {2-3}, pages = {125--135}, doi = {10.1142/9789812709677_0194}, ) @inproceedings(CSIP.07, author = {Miroslav {\'{C}}iri{\'{c}} and Aleksandar Stamenkovi{\'{c}} and Jelena Ignjatovi{\'{c}} and Tatjana Petkovi{\'{c}}}, year = {2007}, title = {Factorization of Fuzzy Automata}, editor = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Zolt{\'a}n {\'E}sik}, booktitle = {Fundamentals of Computation Theory}, series = {Lecture Notes in Computer Science}, volume = {4639}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {213--225}, doi = {10.1007/978-3-540-74240-1_19}, ) @article(CSIP.10, author = {Miroslav \'{C}iri\'{c} and Aleksandar Stamenkovi\'{c} and Jelena Ignjatovi\'{c} and Tatjana Petkovi\'{c}}, year = {2010}, title = {Fuzzy relation equations and reduction of fuzzy automata}, journal = {Journal of Computer and System Sciences}, volume = {76}, pages = {609--633}, doi = {10.1016/j.jcss.2009.10.015}, ) @article(ICST.15, author = {Jelena Ignjatovi\'{c} and Miroslav \'{C}iri\'{c} and \v{S}e\v{s}elja, Branimir and Tepav\v{c}evi\'{c}, Andreja}, year = {2015}, title = {Fuzzy relational inequalities and equations, fuzzy quasi-orders, closures and openings of fuzzy sets}, journal = {Fuzzy Sets and Systems}, volume = {260}, pages = {1--24}, doi = {10.1016/j.fss.2014.05.006}, ) @article(LQ.15, author = {Lvzhou Li and Daowen Qiu}, year = {2015}, title = {On the State Minimization of Fuzzy Automata}, journal = {IEEE Transactions on Fuzzy Systems}, volume = {23}, number = {2}, pages = {434--443}, doi = {10.1109/TFUZZ.2014.2315620}, ) @article(Li.08, author = {Yongming Li}, year = {2008}, title = {Approximation and robustness of fuzzy finite automata}, journal = {International Journal of Approximate Reasoning}, volume = {47}, number = {2}, pages = {247--257}, doi = {10.1016/j.ijar.2007.05.004}, ) @inproceedings(MJS.22, author = {Ivana Mici\'{c} and Jan\v{c}i\'{c}, Zorana and Stefan Stanimirovi\'{c}}, year = {2022}, title = {Computation of solutions to certain nonlinear systems of fuzzy relation inequations}, editor = {Dimitros Poulakis and George Rahonis}, booktitle = {Algebraic Informatics, 9th International Conference, CAI 2022}, series = {Lecture Notes in Computer Science}, volume = {13706}, address = {Thessaloniki, Greece}, pages = {192--202}, doi = {10.1007/978-3-031-19685-0_14}, ) @article(MNS.22, author = {Ivana Mici\'{c} and Linh Anh Nguyen and Stefan Stanimirovi\'{c}}, year = {2022}, title = {Characterization and computation of approximate bisimulations for fuzzy automata}, journal = {Fuzzy Sets and Systems}, volume = {442}, pages = {331--350}, doi = {10.1016/j.fss.2022.05.003}, ) @article(Nguyen.23a, author = {Linh Anh Nguyen}, year = {2023}, title = {Fuzzy simulations and bisimulations between fuzzy automata}, journal = {International Journal of Approximate Reasoning}, pages = {113--131}, doi = {10.1016/j.ijar.2023.02.002}, ) @misc(NMS.23b, author = {Linh Anh Nguyen and Ivana Mici\'{c} and Stefan Stanimirovi\'{c}}, year = {2023}, title = {Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata}, doi = {10.48550/arXiv.2307.03318}, eprint = {2307.03318}, ) @article(NMS.23a, author = {Linh Anh Nguyen and Ivana Mici\'{c} and Stefan Stanimirovi\'{c}}, year = {2023}, title = {Fuzzy minimax nets}, journal = {IEEE Transactions on Fuzzy Systems}, volume = {31}, number = {8}, pages = {2799--2808}, doi = {10.1109/TFUZZ.2023.3237936}, ) @article(QZF.22, author = {Sha Qiao and Ping Zhu and Jun e Feng}, year = {2022}, title = {Fuzzy bisimulations for nondeterministic fuzzy transition systems}, journal = {IEEE Transactions on Fuzzy Systems}, volume = {31}, number = {7}, pages = {2450--2463}, doi = {10.1109/TFUZZ.2022.3227400}, ) @article(QZP.23, author = {Sha Qiao and Ping Zhu and Witold Pedrycz}, year = {2023}, title = {Approximate bisimulations for fuzzy-transition systems}, journal = {Fuzzy Sets and Systems}, pages = {108533}, doi = {10.1016/j.fss.2023.108533}, ) @article(SCB.18, author = {Aleksandar Stamenkovi\'{c} and Miroslav \'{C}iri\'{c} and Ba\v{s}i\'{c}, Milan}, year = {2018}, title = {Ranks of fuzzy matrices. Applications in state reduction of fuzzy automata}, journal = {Fuzzy Sets and Systems}, volume = {333}, pages = {124--139}, doi = {10.1016/j.fss.2017.05.028}, ) @article(SCI.14, author = {Aleksandar Stamenkovi\'{c} and Miroslav \'{C}iri\'{c} and Jelena Ignjatovi\'{c}}, year = {2014}, title = {Reduction of fuzzy automata by means of fuzzy quasi-orders}, journal = {Information Sciences}, volume = {275}, pages = {168--198}, doi = {10.1016/j.ins.2014.02.028}, ) @article(SM.22, author = {Stefan Stanimirovi\'{c} and Ivana Mici\'{c}}, year = {2022}, title = {On the solvability of weakly linear systems of fuzzy relation equations}, journal = {Information Sciences}, volume = {607}, pages = {670--687}, doi = {10.1016/j.ins.2022.05.111}, ) @article(SMC.22, author = {Stefan Stanimirovi\'{c} and Ivana Mici\'{c} and Miroslav \'{C}iri\'{c}}, year = {2022}, title = {Approximate bisimulations for fuzzy automata over complete Heyting algebras}, journal = {IEEE Transactions on Fuzzy Systems}, volume = {30}, number = {2}, pages = {437--447}, doi = {10.1109/TFUZZ.2020.3039968}, ) @article(YL.18, author = {Chao Yang and Yongming Li}, year = {2018}, title = {$\varepsilon$-bisimulation relations for fuzzy automata}, journal = {IEEE Transactions on Fuzzy Systems}, volume = {26}, number = {4}, pages = {2017--2029}, doi = {10.1109/TFUZZ.2017.2760278}, ) @article(YL.20, author = {Chao Yang and Yongming Li}, year = {2020}, title = {Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures}, journal = {Fuzzy Sets and Systems}, volume = {391}, pages = {72--95}, doi = {10.1016/j.fss.2019.07.010}, )