@book(AB.23,
 author       = {Howard Anton and Robert C. Busby},
 year         = {2023},
 title        = {Contemporary Linear Algebra},
 edition      = {2nd},
 publisher    = {John Wiley \& Sons},
)
@inproceedings(BGP.17,
 author       = {Borja Balle and Pascale Gourdeau and Prakash Panangaden},
 year         = {2017},
 title        = {Bisimulation metrics for weighted automata},
 editor       = {Ioannis Chatzigiannakis and Piotr Indyk and Fabian Kuhn and Anca Muscholl},
 booktitle    = {44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)},
 volume       = {80},
 publisher    = {Leibniz International Proceedings in Informatics (LIPIcs)},
 pages        = {103:1--103:14},
 doi          = {10.4230/LIPIcs.ICALP.2017.103},
)
@article(BGP.22,
 author       = {Borja Balle and Pascale Gourdeau and Prakash Panangaden},
 year         = {2022},
 title        = {Bisimulation metrics and norms for real-weighted automata},
 journal      = {Information and Computation},
 volume       = {282},
 pages        = {104649},
 doi          = {10.1016/j.ic.2020.104649},
)
@article(BBBRS.12,
 author       = {Filippo Bonchi and Marcello Bonsangue and Michele Boreale and Jan Rutten and Alexandra Silva},
 year         = {2012},
 title        = {A coalgebraic perspective on linear weighted automata},
 journal      = {Information and Computation},
 volume       = {211},
 pages        = {77--105},
 doi          = {10.1016/j.ic.2011.12.002},
)
@inproceedings(Bor.09,
 author       = {Michele Boreale},
 year         = {2009},
 title        = {Weighted bisimulation in linear algebraic form},
 editor       = {M. Bravetti and G. Zavattaro},
 booktitle    = {CONCUR 2009 -- Concurrency Theory, 20th Intern. Conference},
 series       = {Lecture Notes in Computer Science},
 volume       = {5710},
 publisher    = {Springer},
 address      = {Bologna, Italy},
 pages        = {163--177},
 doi          = {10.1007/978-3-642-04081-8_12},
)
@book(CL.08,
 author       = {Christos G. Cassandras and St\'{e}phane Lafortune},
 year         = {2008},
 title        = {Introduction to Discrete Event Systems},
 publisher    = {Springer},
 doi          = {10.1007/978-0-387-68612-7},
)
@article(CDIV.10,
 author       = {Miroslav \'{C}iri\'{c} and Manfred Droste and Jelena Ignjatovi\'{c} and Heiko Vogler},
 year         = {2010},
 title        = {Determinization of weighted finite automata over strong bimonoids},
 journal      = {Information Sciences},
 volume       = {180},
 pages        = {3497--3520},
 doi          = {10.1016/j.ins.2010.05.020},
)
@article(CIBJ.14,
 author       = {Miroslav \'{C}iri\'{c} and Jelena Ignjatovi\'{c} and Ba\v{s}i\'{c}, Milan and Jan\v{c}i\'{c}, Ivana},
 year         = {2014},
 title        = {Nondeterministic automata: equivalence, bisimulations, and uniform relations},
 journal      = {Information Sciences},
 pages        = {185--218},
 doi          = {10.1016/j.ins.2013.07.029},
)
@article(CIDB.12,
 author       = {Miroslav \'{C}iri\'{c} and Jelena Ignjatovi\'{c} and Nada Damljanovi\'c and Ba\v{s}i\'{c}, Milan},
 year         = {2012},
 title        = {Bisimulations for fuzzy automata},
 journal      = {Fuzzy Sets and Systems},
 volume       = {186},
 pages        = {100--139},
 doi          = {10.1016/j.fss.2011.07.003},
)
@article(CIJD.12,
 author       = {Miroslav \'{C}iri\'{c} and Jelena Ignjatovi\'{c} and Jan\v{c}i\'{c}, Ivana and Nada Damljanovi\'{c}},
 year         = {2012},
 title        = {Computation of the greatest simulations and bisimulations between fuzzy automata},
 journal      = {Fuzzy Sets and Systems},
 volume       = {208},
 pages        = {22--42},
 doi          = {10.1016/j.fss.2012.05.006},
)
@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(CP.17,
 author       = {Thomas Colcombet and Daniela Petrisan},
 year         = {2017},
 title        = {Automata and minimization},
 journal      = {ACM SIGLOG News},
 volume       = {4},
 number       = {2},
 pages        = {4--27},
 doi          = {10.1145/3090064.3090066},
)
@article(DCI.14,
 author       = {Nada Damljanovi\'{c} and Miroslav \'{C}iri\'{c} and Jelena Ignjatovi\'{c}},
 year         = {2014},
 title        = {Bisimulations for weighted automata over an additively idempotent semiring},
 journal      = {Theoretical Computer Science},
 volume       = {534},
 pages        = {86--100},
 doi          = {10.1016/j.tcs.2014.02.032},
)
@inproceedings(DFKV.20,
 author       = {Mandfed Droste and Zolt\'{a}n F\"{u}l\"{o}p and D\'{a}vid K\'{o}sz\'{o} and Heiko Vogler},
 year         = {2020},
 title        = {Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable},
 editor       = {Galina Jir\'{a}skov\'{a} and Giovanni Pighizzini},
 booktitle    = {DCFS 2020},
 series       = {Lecture Notes in Computer Science},
 volume       = {12442},
 pages        = {39--51},
 doi          = {10.1007/978-3-030-62536-8_4},
)
@article(FKV.21,
 author       = {Zolt\'{a}n F\"{u}l\"{o}p and D\'{a}vid K\'{o}sz\'{o} and Heiko Vogler},
 year         = {2021},
 title        = {Crisp-determinization of weighted tree automata over strong bimonoids},
 journal      = {Discrete Mathematics and Theoretical Computer Science},
 volume       = {23},
 number       = {1},
 doi          = {10.46298/dmtcs.5943},
)
@article(ICB.08,
 author       = {Jelena Ignjatovi\'{c} and Miroslav \'{C}iri\'{c} and Stojan Bogdanovi\'{c}},
 year         = {2008},
 title        = {Determinization of fuzzy automata with membership values in complete residuated lattices},
 journal      = {Information Sciences},
 volume       = {178},
 pages        = {164--180},
 doi          = {10.1016/j.ins.2007.08.003},
)
@article(ICBP.10,
 author       = {Jelena Ignjatovi\'{c} and Miroslav \'{C}iri\'{c} and Stojan Bogdanovi\'{c} and Tatjana Petkovi\'{c}},
 year         = {2010},
 title        = {Myhill-Nerode type theory for fuzzy languages and automata},
 journal      = {Fuzzy Sets and Systems},
 volume       = {161},
 pages        = {1288--1324},
 doi          = {10.1016/j.fss.2009.06.007},
)
@article(JC.14,
 author       = {Jan\v{c}i\'{c}, Zorana and Miroslav \'{C}iri\'{c}},
 year         = {2014},
 title        = {Brzozowski type determinization for fuzzy automata},
 journal      = {Fuzzy Sets and Systems},
 volume       = {249},
 pages        = {73--82},
 doi          = {10.1016/j.fss.2014.02.021},
)
@article(JIC.11,
 author       = {Jan\v{c}i\'{c}, Zorana and Jelena Ignjatovi\'{c} and Miroslav \'{C}iri\'{c}},
 year         = {2011},
 title        = {An improved algorithm for determinization of weighted and fuzzy automata},
 journal      = {Information Sciences},
 volume       = {181},
 pages        = {1358--1368},
 doi          = {10.1016/j.ins.2010.12.008},
)
@article(JMIC.16,
 author       = {Jan\v{c}i\'{c}, Zorana and Ivana Mici\'{c} and Jelena Ignjatovi\'{c} and Miroslav \'{C}iri\'{c}},
 year         = {2016},
 title        = {Further improvements of determinization methods for fuzzy finite automata},
 journal      = {Fuzzy Sets and Systems},
 volume       = {301},
 pages        = {79--102},
 doi          = {10.1016/j.fss.2015.11.019},
)
@inproceedings(LRP.18,
 author       = {Tianyu Li and Guillaume Rabusseau and Doina Precup},
 year         = {2018},
 title        = {Nonlinear weighted finite automata},
 booktitle    = {Proceedings of the Twenty-First International Conference on Artificial Intelligence and Statistics},
 series       = {Proceedings of Machine Learning Research},
 volume       = {84},
 pages        = {679--688},
)
@article(MJIC.15,
 author       = {Ivana Mici\'{c} and Jan\v{c}i\'{c}, Zorana and Jelena Ignjatovi\'{c} and Miroslav \'{C}iri\'{c}},
 year         = {2015},
 title        = {Determinization of fuzzy automata by means of the degrees of language inclusion},
 journal      = {IEEE Transactions on Fuzzy Systems},
 volume       = {23},
 number       = {6},
 pages        = {2144--2153},
 doi          = {10.1109/TFUZZ.2015.2404348},
)
@article(Schutz.61,
 author       = {Marcel-Paul Sch\"{u}tzenberger},
 year         = {1961},
 title        = {On the definition of a family of automata},
 journal      = {Information and Control},
 pages        = {245--270},
 doi          = {10.1016/S0019-9958(61)80020-X},
)
@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(SCI.15,
 author       = {Aleksandar Stamenkovi\'{c} and Miroslav \'{C}iri\'{c} and Jelena Ignjatovi\'{c}},
 year         = {2015},
 title        = {Different models of automata with fuzzy states},
 journal      = {Facta Universitatis, Series Mathematics and Informatics},
 volume       = {30},
 number       = {3},
 pages        = {235--253},
)