@inproceedings(nassar2022simulation, author = {Abu Nassar, Antonio and Shaull Almagor}, year = {2022}, title = {Simulation by Rounds of Letter-To-Letter Transducers}, booktitle = {30th EACSL Annual Conference on Computer Science Logic}, doi = {10.4230/LIPIcs.CSL.2022.3}, ) @inproceedings(almagor2020process, author = {Shaull Almagor}, year = {2020}, title = {Process Symmetry in Probabilistic Transducers}, booktitle = {40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science}, doi = {10.4230/LIPIcs.FSTTCS.2020.35}, ) @inproceedings(almagor2011max, author = {Shaull Almagor and Orna Kupferman}, year = {2011}, title = {Max and sum semantics for alternating weighted automata}, booktitle = {International Symposium on Automated Technology for Verification and Analysis}, organization = {Springer}, pages = {13--27}, doi = {10.1007/978-3-642-24372-1_2}, ) @inproceedings(almagor2023jumping, author = {Shaull Almagor and Omer Yizhaq}, year = {2023}, title = {Jumping Automata over Infinite Words}, booktitle = {International Conference on Developments in Language Theory}, organization = {Springer}, pages = {9--22}, doi = {10.1007/978-3-031-33264-7_2}, ) @inproceedings(boker2021quantitative, author = {Udi Boker}, year = {2021}, title = {Quantitative vs. weighted automata}, booktitle = {Reachability Problems: 15th International Conference, RP 2021, Liverpool, UK, October 25--27, 2021, Proceedings 15}, organization = {Springer}, pages = {3--18}, doi = {10.1007/978-3-030-89716-1_1}, ) @article(cadilhac2012affine, author = {Micha{\"e}l Cadilhac and Alain Finkel and Pierre McKenzie}, year = {2012}, title = {Affine Parikh automata}, journal = {RAIRO-Theoretical Informatics and Applications}, volume = {46}, number = {4}, pages = {511--545}, doi = {10.1051/ita/2012013}, ) @article(cadilhac2012bounded, author = {Micha{\"e}l Cadilhac and Alain Finkel and Pierre McKenzie}, year = {2012}, title = {Bounded parikh automata}, journal = {International Journal of Foundations of Computer Science}, volume = {23}, number = {08}, pages = {1691--1709}, doi = {10.1142/S0129054112400709}, ) @article(chatterjee2010quantitative, author = {Krishnendu Chatterjee and Laurent Doyen and Thomas A Henzinger}, year = {2010}, title = {Quantitative languages}, journal = {ACM Transactions on Computational Logic (TOCL)}, volume = {11}, number = {4}, pages = {1--38}, doi = {10.1007/978-3-540-87531-4_28}, ) @book(droste2009handbook, author = {Manfred Droste and Werner Kuich and Heiko Vogler}, year = {2009}, title = {Handbook of weighted automata}, publisher = {Springer Science \& Business Media}, doi = {10.1007/978-3-642-01492-5}, ) @article(fazekas2021two, author = {Szil{\'a}rd Zsolt Fazekas and Kaito Hoshi and Akihiro Yamamura}, year = {2021}, title = {Two-way deterministic automata with jumping mode}, journal = {Theoretical Computer Science}, volume = {864}, pages = {92--102}, doi = {10.1016/j.tcs.2021.02.030}, ) @inproceedings(fernau2015jumping, author = {Henning Fernau and Meenakshi Paramasivan and Markus L Schmid}, year = {2015}, title = {Jumping finite automata: characterizations and complexity}, booktitle = {International Conference on Implementation and Application of Automata}, organization = {Springer}, pages = {89--101}, doi = {10.1007/978-3-319-22360-5_8}, ) @article(fernau2017characterization, author = {Henning Fernau and Meenakshi Paramasivan and Markus L Schmid and Vojt{\v{e}}ch Vorel}, year = {2017}, title = {Characterization and complexity results on jumping finite automata}, journal = {Theoretical Computer Science}, volume = {679}, pages = {31--52}, doi = {10.1016/j.tcs.2016.07.006}, ) @inproceedings(fisman2023normalized, author = {Dana Fisman and Joshua Grogin and Gera Weiss}, year = {2023}, title = {A Normalized Edit Distance on Infinite Words}, booktitle = {31st EACSL Annual Conference on Computer Science Logic (CSL 2023)}, organization = {Schloss-Dagstuhl-Leibniz Zentrum f{\"u}r Informatik}, doi = {10.4230/LIPIcs.CSL.2023.20}, ) @inproceedings(guha2022parikh, author = {Shibashis Guha and Isma{\"e}l Jecker and Karoliina Lehtinen and Martin Zimmermann}, year = {2022}, title = {Parikh Automata over Infinite Words}, booktitle = {42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science}, doi = {10.4230/LIPIcs.FSTTCS.2022.40}, ) @article(hashiguchi1982limitedness, author = {Kosaburo Hashiguchi}, year = {1982}, title = {Limitedness theorem on finite automata with distance functions}, journal = {Journal of computer and system sciences}, volume = {24}, number = {2}, pages = {233--244}, doi = {10.1016/0022-0000(82)90051-4}, ) @inproceedings(klaedtke2003monadic, author = {Felix Klaedtke and Rue{\ss}, Harald}, year = {2003}, title = {Monadic second-order logics with cardinalities}, booktitle = {Automata, Languages and Programming: 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30--July 4, 2003 Proceedings 30}, organization = {Springer}, pages = {681--696}, doi = {10.1007/3-540-45061-0_54}, ) @inproceedings(lavado2014operational, author = {Giovanna J Lavado and Giovanni Pighizzini and Shinnosuke Seki}, year = {2014}, title = {Operational state complexity under Parikh equivalence}, booktitle = {Descriptional Complexity of Formal Systems: 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings 16}, organization = {Springer}, pages = {294--305}, doi = {10.1007/978-3-319-09704-6_26}, ) @article(leung2004limitedness, author = {Hing Leung and Viktor Podolskiy}, year = {2004}, title = {The limitedness problem on distance automata: Hashiguchi's method revisited}, journal = {Theoretical Computer Science}, volume = {310}, number = {1-3}, pages = {147--158}, doi = {10.1016/S0304-3975(03)00377-3}, ) @article(meduna2012jumping, author = {Alexander Meduna and Petr Zemek}, year = {2012}, title = {Jumping finite automata}, journal = {International Journal of Foundations of Computer Science}, volume = {23}, number = {07}, pages = {1555--1578}, doi = {10.1142/S0129054112500244}, ) @inproceedings(mohri2002edit, author = {Mehryar Mohri}, year = {2002}, title = {Edit-distance of weighted automata}, booktitle = {International Conference on Implementation and Application of Automata}, organization = {Springer}, pages = {1--23}, doi = {10.1007/3-540-44977-9_1}, ) @article(vorel2018basic, author = {Vojt{\v{e}}ch Vorel}, year = {2018}, title = {On basic properties of jumping finite automata}, journal = {International Journal of Foundations of Computer Science}, volume = {29}, number = {01}, pages = {1--15}, doi = {10.1142/S0129054118500016}, )