Formal Languages and Automata Theory

Authors and titles for March 2025

[1] arXiv:2503.00960 [pdf, html, other]

Title: Mapping words to powers by morphisms

Aleksi Saarela

Comments: 17 pages

Subjects: Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

[2] arXiv:2503.01746 [pdf, html, other]

Title: Lexicographic transductions of finite words

Emmanuel Filiot, Pierre-Alain Reynier, Nathan Lhote

Subjects: Formal Languages and Automata Theory (cs.FL)

[3] arXiv:2503.04374 [pdf, html, other]

Title: On Decidability Timed Automata with 2 Parametric Clocks

Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

Subjects: Formal Languages and Automata Theory (cs.FL)

[4] arXiv:2503.04440 [pdf, html, other]

Title: Soundness of reset workflow nets

Michael Blondin, Alain Finkel, Piotr Hofman, Filip Mazowiecki, Philip Offtermatt

Comments: appeared at LICS 2024, a couple of figures

Subjects: Formal Languages and Automata Theory (cs.FL)

[5] arXiv:2503.04525 [pdf, other]

Title: Learning Deterministic One-Counter Automata in Polynomial Time

Prince Mathew, Vincent Penelle, A.V. Sreejith

Comments: 29 pages, 9 figures, 4 Algorithms

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[6] arXiv:2503.04589 [pdf, html, other]

Title: Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation

Andrea Manini, Matteo Rossi, Pierluigi San Pietro

Subjects: Formal Languages and Automata Theory (cs.FL)

[7] arXiv:2503.05006 [pdf, other]

Title: Efficient Analysis of Polynomial Asymptotic Estimates for VASS MDPs

Michal Ajdarów

Subjects: Formal Languages and Automata Theory (cs.FL)

[8] arXiv:2503.07881 [pdf, html, other]

Title: Higher-Dimensional Automata : Extension to Infinite Tracks

Luc Passemard, Amazigh Amrane, Uli Fahrenberg

Subjects: Formal Languages and Automata Theory (cs.FL)

[9] arXiv:2503.08438 [pdf, html, other]

Title: Rerailing Automata

Rüdiger Ehlers

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[10] arXiv:2503.11236 [pdf, html, other]

Title: Contract Based Program Models for Software Model Checking

Jesper Amilon, Dilian Gurov

Subjects: Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)

[11] arXiv:2503.12631 [pdf, html, other]

Title: Omega-Regular Robustness

Dana Fisman, Elina Sudit

Subjects: Formal Languages and Automata Theory (cs.FL)

[12] arXiv:2503.16891 [pdf, other]

Title: Simplifying LTL Model Checking Given Prior Knowledge

Alexandre Duret-Lutz (LRE), Denis Poitrenaud (UPCité, MoVe), Yann Thierry-Mieg (MoVe)

Comments: Proceedings of the 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025), Jun 2025, Paris, France

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[13] arXiv:2503.17572 [pdf, html, other]

Title: Behaviorally Correct Learning from Informants

Niklas Mohrin

Subjects: Formal Languages and Automata Theory (cs.FL)

[14] arXiv:2503.18077 [pdf, html, other]

Title: Conservative Perception Models for Probabilistic Verification

Matthew Cleaveland, Pengyuan Lu, Oleg Sokolsky, Insup Lee, Ivan Ruchkin

Subjects: Formal Languages and Automata Theory (cs.FL)

[15] arXiv:2503.18514 [pdf, other]

Title: Polyregular Model Checking

Aliaume Lopez, Rafał Stefański

Subjects: Formal Languages and Automata Theory (cs.FL)

[16] arXiv:2503.18611 [pdf, html, other]

Title: $k$-Universality of Regular Languages Revisited

Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea

Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS)

[17] arXiv:2503.20467 [pdf, other]

Title: GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions

Mattia De Rosa (University of Salerno, Italy), Mark Minas (Universität der Bundeswehr München, Germany)

Comments: In Proceedings GCM 2023 and 2024, arXiv:2503.19632

Journal-ref: EPTCS 417, 2025, pp. 55-70

Subjects: Formal Languages and Automata Theory (cs.FL)

[18] arXiv:2503.21329 [pdf, html, other]

Title: When is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?

Sebastian Maneth, Helmut Seidl

Subjects: Formal Languages and Automata Theory (cs.FL)

[19] arXiv:2503.21661 [pdf, other]

Title: From conceptualization to operationalized meaning via ontological components

Paul Fabry, Adrien Barton, Jean-François Éthier

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[20] arXiv:2503.21697 [pdf, html, other]

Title: The commutativity problem for effective varieties of formal series, and applications

Lorenzo Clemente

Comments: under submission

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

[21] arXiv:2503.22558 [pdf, html, other]

Title: Algorithmic analysis of systems with affine input and polynomial state

Lorenzo Clemente

Comments: technical report

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

[22] arXiv:2503.23184 [pdf, other]

Title: A Sharper Upper Bound for the Separating Words Problem

Bogdan C. Dumitru

Comments: An error has been identified in the proof of Theorem 1. Correcting the argument presented yields an upper bound which does not improve upon existing results (e.g., [Chase 2020]), so this paper does not in fact provide an improved upper bound. We therefore withdraw our claim of a stronger result

Subjects: Formal Languages and Automata Theory (cs.FL); Number Theory (math.NT)

[23] arXiv:2503.23826 [pdf, other]

Title: Determinization of Min-Plus Weighted Automata is Decidable

Shaull Almagor, Guy Arbel, Sarai Sheinvald

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[24] arXiv:2503.24244 [pdf, other]

Title: The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently

Karoliina Lehtinen, Aditya Prakash

Comments: Full version of a paper that will appear in STOC 2025

Subjects: Formal Languages and Automata Theory (cs.FL)

[25] arXiv:2503.00788 (cross-list from cs.GT) [pdf, html, other]

Title: Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs

Michal Ajdarów, James C. A. Main, Petr Novotný, Mickael Randour

Comments: 55 pages

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Probability (math.PR)

[26] arXiv:2503.00959 (cross-list from math.NT) [pdf, html, other]

Title: Formalizing zeta and L-functions in Lean

David Loeffler, Michael Stoll

Comments: 7 pages; corrects some typos, broken links, etc, and adds/corrects references to some forthcoming works

Subjects: Number Theory (math.NT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[27] arXiv:2503.01026 (cross-list from math.CO) [pdf, html, other]

Title: The Narayana Morphism and Related Words

Jeffrey Shallit

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Number Theory (math.NT)

[28] arXiv:2503.01538 (cross-list from cs.CR) [pdf, html, other]

Title: Formally Discovering and Reproducing Network Protocols Vulnerabilities

Christophe Crochet, John Aoga, Axel Legay

Subjects: Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL); Networking and Internet Architecture (cs.NI)

[29] arXiv:2503.02719 (cross-list from cs.RO) [pdf, html, other]

Title: Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications

Wenliang Liu, Nathalie Majcherczyk, Federico Pecora

Comments: Accepted by ICRA 2025

Subjects: Robotics (cs.RO); Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)

[30] arXiv:2503.04487 (cross-list from math.CO) [pdf, html, other]

Title: Positionality of Dumont--Thomas numeration systems for integers

Savinien Kreczman, Sébastien Labbé, Manon Stipulanti

Comments: 25 pages, 7 figures

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)

[31] arXiv:2503.04762 (cross-list from cs.LO) [pdf, html, other]

Title: Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications

Liqian Ma, Zishun Liu, Hongzhe Yu, Yongxin Chen

Comments: 6 pages

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)

[32] arXiv:2503.05042 (cross-list from cs.LG) [pdf, html, other]

Title: Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning

Beyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit A. Seshia

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)

[33] arXiv:2503.05572 (cross-list from math.GR) [pdf, html, other]

Title: Word problems and embedding-obstructions in cellular automata groups on groups

Ville Salo

Comments: 39 pages + 9 page appendix; v2 has a new nonembeddability result (nonembeddability mod centers) and makes many small corrections

Subjects: Group Theory (math.GR); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS)

[34] arXiv:2503.08486 (cross-list from cs.SE) [pdf, other]

Title: Inferring Input Grammars from Code with Symbolic Parsing

Leon Bettscheider, Andreas Zeller

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)

[35] arXiv:2503.13660 (cross-list from cs.RO) [pdf, html, other]

Title: INPROVF: Leveraging Large Language Models to Repair High-level Robot Controllers from Assumption Violations

Qian Meng, Jin Peng Zhou, Kilian Q. Weinberger, Hadas Kress-Gazit

Comments: To appear in ICLR 2025 Workshop: VerifAI: AI Verification in the Wild; in submission to 2025 IEEE 21th International Conference on Automation Science and Engineering (CASE), Los Angeles, CA, USA: IEEE, Aug. 2025

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)

[36] arXiv:2503.14615 (cross-list from cs.LG) [pdf, html, other]

Title: Unique Hard Attention: A Tale of Two Sides

Selim Jerad, Anej Svete, Jiaoda Li, Ryan Cotterell

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)

[37] arXiv:2503.15840 (cross-list from cs.LO) [pdf, html, other]

Title: Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework

Junle Li, Meiqi Tian, Bingzhuo Zhong

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[38] arXiv:2503.16100 (cross-list from math.DS) [pdf, html, other]

Title: Topological Kleene Field Theories: A new model of computation

Ángel González-Prieto, Eva Miranda, Daniel Peralta-Salas

Comments: 29 pages

Subjects: Dynamical Systems (math.DS); Formal Languages and Automata Theory (cs.FL); Category Theory (math.CT); Differential Geometry (math.DG)

[39] arXiv:2503.17881 (cross-list from nlin.CG) [pdf, html, other]

Title: Connections between the minimal neighborhood and the activity value of cellular automata

Alonso Castillo-Ramirez, Eduardo Veliz-Quintero

Comments: 15 pages

Subjects: Cellular Automata and Lattice Gases (nlin.CG); Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS)

[40] arXiv:2503.18749 (cross-list from math.NT) [pdf, html, other]

Title: Escape of mass of the Thue-Morse sequence

Erez Nesharim, Uri Shapira, Noy Soffer Aranov

Subjects: Number Theory (math.NT); Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS)

[41] arXiv:2503.19561 (cross-list from eess.SY) [pdf, html, other]

Title: On the Completeness and Ordering of Path-Complete Barrier Functions

Mahathi Anand, Raphaël Jungers, Majid Zamani, Frank Allgöwer

Comments: 17 pages, 8 figures

Subjects: Systems and Control (eess.SY); Formal Languages and Automata Theory (cs.FL)

[42] arXiv:2503.19632 (cross-list from cs.LO) [pdf, other]

Title: Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models

Jörg Endrullis, Dominik Grzelak, Tobias Heindel, Jens Kosiol

Journal-ref: EPTCS 417, 2025

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL); Software Engineering (cs.SE)

[43] arXiv:2503.21906 (cross-list from cs.LO) [pdf, html, other]

Title: Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata

Anand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi, Jyotirmoy V. Deshmukh

Comments: Accepted to HSCC 2025

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Multiagent Systems (cs.MA)

[44] arXiv:2503.22000 (cross-list from cs.CL) [pdf, html, other]

Title: Cluster automata

András Kornai

Comments: Submitted to MOL2025

Subjects: Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)

[45] arXiv:2503.22546 (cross-list from math.GR) [pdf, html, other]

Title: Pseudovarieties of semigroups

Jorge Almeida

Comments: 26 pages. Presented at International Conference on Algebra and Discrete Mathematics (Government College, Kattappana, Kerala, India; February 20-22, 2024) To appear in Asian-European Journal of Mathematics

Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL)