Formal Languages and Automata Theory

Authors and titles for recent submissions

• Fri, 5 Sep 2025
• Thu, 4 Sep 2025
• Wed, 3 Sep 2025
• Mon, 1 Sep 2025
• Fri, 29 Aug 2025

See today's new changes

Wed, 3 Sep 2025 (continued, showing last 8 of 10 entries )

[7] arXiv:2509.00837 [pdf, html, other]

Title: Computational Exploration of Finite Semigroupoids

Attila Egri-Nagy, Chrystopher L. Nehaniv

Comments: 18 pages, 7 figures, to be presented at miniKanren'25 this https URL

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

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

Title: Generalised Möbius Categories and Convolution Kleene Algebras

James Cranch, Georg Struth, Jana Wagemaker

Comments: 32 pages

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

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

Title: RNN Generalization to Omega-Regular Languages

Charles Pert, Dalal Alrajeh, Alessandra Russo

Comments: 7 pages, 3 figures. To be published in OVERLAY 2025, 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis. See this https URL

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

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

Title: Complexity of the Existence of Constrained Secure Equilibria in Multi-Player Games

Hiroki Mizuno, Yoshiaki Takata, Hiroyuki Seki

Comments: 5 pages, 1 figure, this is a longer version of a short paper submitted to IEICE Transactions on Information and Systems

Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL)

[11] arXiv:2509.00948 (cross-list from cs.PL) [pdf, html, other]

Title: Decision Procedure for A Theory of String Sequences

Denghang Hu, Taolue Chen, Philipp Rümmer, Fu Song, Zhilin Wu

Comments: 21 pages, 2 tables, APLAS 2025

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

[12] arXiv:2509.00870 (cross-list from cs.MA) [pdf, other]

Title: Controller synthesis method for multi-agent system based on temporal logic specification

Ruohan Huang, Zining Cao

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

[13] arXiv:2509.00834 (cross-list from cs.AI) [pdf, html, other]

Title: Neuro-Symbolic Predictive Process Monitoring

Axel Mezini, Elena Umili, Ivan Donadello, Fabrizio Maria Maggi, Matteo Mancanelli, Fabio Patrizi

Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

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

Title: Mean-payoff and Energy Discrete Bidding Games

Guy Avni, Suman Sadhukhan

Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Multiagent Systems (cs.MA)

Mon, 1 Sep 2025

No updates for this time period.

Fri, 29 Aug 2025 (showing 4 of 4 entries )

[15] arXiv:2508.20735 [pdf, other]

Title: Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking

Jan Heemstra, Jan Martens, Anton Wijs

Comments: 28 pages, 10 figures, 5 tables

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

[16] arXiv:2508.20671 [pdf, other]

Title: Formal equivalence between global optimization consistency and random search

Gaëtan Serré (ENS Paris Saclay, CB)

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Optimization and Control (math.OC); Probability (math.PR)

[17] arXiv:2508.21020 (cross-list from quant-ph) [pdf, html, other]

Title: QIP $ \subseteq $ AM(2QCFA)

Abuzer Yakaryılmaz

Comments: 15 pages

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)

[18] arXiv:2508.20879 (cross-list from cs.DM) [pdf, html, other]

Title: Unclustered BWTs of any Length over Non-Binary Alphabets

Gabriele Fici, Estéban Gabory, Giuseppe Romana, Marinella Sciortino

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