Howard Anton & Robert C. Busby (2023):
Contemporary Linear Algebra,
2nd edition.
John Wiley & Sons.
Borja Balle, Pascale Gourdeau & Prakash Panangaden (2017):
Bisimulation metrics for weighted automata.
In: Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn & Anca Muscholl: 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) 80.
Leibniz International Proceedings in Informatics (LIPIcs),
pp. 103:1–103:14,
doi:10.4230/LIPIcs.ICALP.2017.103.
Borja Balle, Pascale Gourdeau & Prakash Panangaden (2022):
Bisimulation metrics and norms for real-weighted automata.
Information and Computation 282,
pp. 104649,
doi:10.1016/j.ic.2020.104649.
Filippo Bonchi, Marcello Bonsangue, Michele Boreale, Jan Rutten & Alexandra Silva (2012):
A coalgebraic perspective on linear weighted automata.
Information and Computation 211,
pp. 77–105,
doi:10.1016/j.ic.2011.12.002.
Michele Boreale (2009):
Weighted bisimulation in linear algebraic form.
In: M. Bravetti & G. Zavattaro: CONCUR 2009 – Concurrency Theory, 20th Intern. Conference,
Lecture Notes in Computer Science 5710.
Springer,
Bologna, Italy,
pp. 163–177,
doi:10.1007/978-3-642-04081-8_12.
Christos G. Cassandras & Stéphane Lafortune (2008):
Introduction to Discrete Event Systems.
Springer,
doi:10.1007/978-0-387-68612-7.
Miroslav \'Ciri\'c, Manfred Droste, Jelena Ignjatovi\'c & Heiko Vogler (2010):
Determinization of weighted finite automata over strong bimonoids.
Information Sciences 180,
pp. 3497–3520,
doi:10.1016/j.ins.2010.05.020.
Miroslav \'Ciri\'c, Jelena Ignjatovi\'c, Milan Baši\'c & Ivana Janči\'c (2014):
Nondeterministic automata: equivalence, bisimulations, and uniform relations.
Information Sciences,
pp. 185–218,
doi:10.1016/j.ins.2013.07.029.
Miroslav \'Ciri\'c, Jelena Ignjatovi\'c, Nada Damljanovi\'c & Milan Baši\'c (2012):
Bisimulations for fuzzy automata.
Fuzzy Sets and Systems 186,
pp. 100–139,
doi:10.1016/j.fss.2011.07.003.
Miroslav \'Ciri\'c, Jelena Ignjatovi\'c, Ivana Janči\'c & Nada Damljanovi\'c (2012):
Computation of the greatest simulations and bisimulations between fuzzy automata.
Fuzzy Sets and Systems 208,
pp. 22–42,
doi:10.1016/j.fss.2012.05.006.
Miroslav \'Ciri\'c, Aleksandar Stamenkovi\'c, Jelena Ignjatovi\'c & Tatjana Petkovi\'c (2010):
Fuzzy relation equations and reduction of fuzzy automata.
Journal of Computer and System Sciences 76,
pp. 609–633,
doi:10.1016/j.jcss.2009.10.015.
Thomas Colcombet & Daniela Petrisan (2017):
Automata and minimization.
ACM SIGLOG News 4(2),
pp. 4–27,
doi:10.1145/3090064.3090066.
Nada Damljanovi\'c, Miroslav \'Ciri\'c & Jelena Ignjatovi\'c (2014):
Bisimulations for weighted automata over an additively idempotent semiring.
Theoretical Computer Science 534,
pp. 86–100,
doi:10.1016/j.tcs.2014.02.032.
Mandfed Droste, Zoltán Fülöp, Dávid Kószó & Heiko Vogler (2020):
Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable.
In: Galina Jirásková & Giovanni Pighizzini: DCFS 2020,
Lecture Notes in Computer Science 12442,
pp. 39–51,
doi:10.1007/978-3-030-62536-8_4.
Zoltán Fülöp, Dávid Kószó & Heiko Vogler (2021):
Crisp-determinization of weighted tree automata over strong bimonoids.
Discrete Mathematics and Theoretical Computer Science 23(1),
doi:10.46298/dmtcs.5943.
Jelena Ignjatovi\'c, Miroslav \'Ciri\'c & Stojan Bogdanovi\'c (2008):
Determinization of fuzzy automata with membership values in complete residuated lattices.
Information Sciences 178,
pp. 164–180,
doi:10.1016/j.ins.2007.08.003.
Jelena Ignjatovi\'c, Miroslav \'Ciri\'c, Stojan Bogdanovi\'c & Tatjana Petkovi\'c (2010):
Myhill-Nerode type theory for fuzzy languages and automata.
Fuzzy Sets and Systems 161,
pp. 1288–1324,
doi:10.1016/j.fss.2009.06.007.
Zorana Janči\'c & Miroslav \'Ciri\'c (2014):
Brzozowski type determinization for fuzzy automata.
Fuzzy Sets and Systems 249,
pp. 73–82,
doi:10.1016/j.fss.2014.02.021.
Zorana Janči\'c, Jelena Ignjatovi\'c & Miroslav \'Ciri\'c (2011):
An improved algorithm for determinization of weighted and fuzzy automata.
Information Sciences 181,
pp. 1358–1368,
doi:10.1016/j.ins.2010.12.008.
Zorana Janči\'c, Ivana Mici\'c, Jelena Ignjatovi\'c & Miroslav \'Ciri\'c (2016):
Further improvements of determinization methods for fuzzy finite automata.
Fuzzy Sets and Systems 301,
pp. 79–102,
doi:10.1016/j.fss.2015.11.019.
Tianyu Li, Guillaume Rabusseau & Doina Precup (2018):
Nonlinear weighted finite automata.
In: Proceedings of the Twenty-First International Conference on Artificial Intelligence and Statistics,
Proceedings of Machine Learning Research 84,
pp. 679–688.
Ivana Mici\'c, Zorana Janči\'c, Jelena Ignjatovi\'c & Miroslav \'Ciri\'c (2015):
Determinization of fuzzy automata by means of the degrees of language inclusion.
IEEE Transactions on Fuzzy Systems 23(6),
pp. 2144–2153,
doi:10.1109/TFUZZ.2015.2404348.
Marcel-Paul Schützenberger (1961):
On the definition of a family of automata.
Information and Control,
pp. 245–270,
doi:10.1016/S0019-9958(61)80020-X.
Aleksandar Stamenkovi\'c, Miroslav \'Ciri\'c & Milan Baši\'c (2018):
Ranks of fuzzy matrices. Applications in state reduction of fuzzy automata.
Fuzzy Sets and Systems 333,
pp. 124–139,
doi:10.1016/j.fss.2017.05.028.
Aleksandar Stamenkovi\'c, Miroslav \'Ciri\'c & Jelena Ignjatovi\'c (2014):
Reduction of fuzzy automata by means of fuzzy quasi-orders.
Information Sciences 275,
pp. 168–198,
doi:10.1016/j.ins.2014.02.028.
Aleksandar Stamenkovi\'c, Miroslav \'Ciri\'c & Jelena Ignjatovi\'c (2015):
Different models of automata with fuzzy states.
Facta Universitatis, Series Mathematics and Informatics 30(3),
pp. 235–253.
eptcs@eptcs.org