Skip to main content

Formal Languages and Automata Theory

Authors and titles for recent submissions

See today's new changes

Total of 14 entries
Showing up to 50 entries per page: fewer | more | all

Thu, 22 Oct 2026 (showing 1 of 1 entries )

[1] arXiv:2610.28682 (cross-list from cs.SE) [pdf, html, other]
Title: Runtime Semantic Discovery for Evolving Action Alphabets
Pietro Bernabei, Rosario Pugliese
Comments: 10 pages, 2 figures. Version presented at the VORTEX 2026 workshop (co-located with ECOOP 2026)
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

Wed, 21 Oct 2026 (showing 1 of 1 entries )

[2] arXiv:2610.27482 [pdf, html, other]
Title: Rational polynomial solvability reduces to stratifiability of semilinear sets
Michaël Cadilhac
Comments: 13 pages plus 10 pages of appendix
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

Tue, 20 Oct 2026 (showing 3 of 3 entries )

[3] arXiv:2610.26568 (cross-list from cs.AI) [pdf, html, other]
Title: Reward Objectives for Robust (PO)MDPs: A Law-Preserving Equivalence with (Partially Observable) Games
Durgam Latha, Dion Reji, Dorde Zikelic, Shankaranarayanan Krishna
Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)
[4] arXiv:2610.25138 (cross-list from quant-ph) [pdf, other]
Title: On the Complexity of Level-Synchronized Tree Automata for Quantum Circuit Verification
Michael Blondin, Samy Chady Khoumsi-Kasmi, Guillermo A. Pérez, Marnix Suilen
Subjects: Quantum Physics (quant-ph); Formal Languages and Automata Theory (cs.FL)
[5] arXiv:2610.16473 (cross-list from cs.LO) [pdf, other]
Title: Some complete $ω$-powers of a one-counter language in the difference hierarchy
Jacques Duparc (UNIL), Olivier Finkel (IMJ-PRG (UMR\_7586)), Dominique Lecomte (IMJ-PRG (UMR\_7586))
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT); General Topology (math.GN); Logic (math.LO)

Mon, 19 Oct 2026 (showing 7 of 7 entries )

[6] arXiv:2610.23725 [pdf, html, other]
Title: Integer Reachability in Data VASS
Roland Guttenberg, Łukasz Kamiński, Sławomir Lasota
Subjects: Formal Languages and Automata Theory (cs.FL)
[7] arXiv:2610.23495 [pdf, html, other]
Title: Symmetric two-counter machines
Krzysztof Jaros, Łukasz Kamiński, Maja Kądziołka, Sławomir Lasota
Subjects: Formal Languages and Automata Theory (cs.FL)
[8] arXiv:2610.23463 [pdf, html, other]
Title: Model Checking for Noisy Toric Words
Mihir Vahanwala
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[9] arXiv:2610.23523 (cross-list from cs.CC) [pdf, html, other]
Title: Complexity of liveness in ring Petri nets and of halting in chip-firing on simple digraphs
Eike Best, Raymond Devillers, Petr Jančar, Matěj Ošťádal
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)
[10] arXiv:2610.23146 (cross-list from cs.DM) [pdf, html, other]
Title: Counting and Sampling Manufacturable Stacking Sequences
Alessio Langiu, Felice Rubino, Giacomo Canale
Comments: 22 pages, 3 figures, 4 tables. Code: this https URL
Subjects: Discrete Mathematics (cs.DM); Computational Engineering, Finance, and Science (cs.CE); Formal Languages and Automata Theory (cs.FL)
[11] arXiv:2610.22663 (cross-list from cs.DM) [pdf, html, other]
Title: Rational decomposition of polyhedra and a conjecture of Brlek and Reutenauer
Flavio D'Alessandro, Paolo Papi
Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO); Metric Geometry (math.MG)
[12] arXiv:2610.22603 (cross-list from cs.AI) [pdf, html, other]
Title: At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier
Marco Dos Santos, Vivek Veeriah, Alex Havrilla, Andrew Bolt, Goran Zuzic, Satinder Singh, Tom Zahavy
Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)

Fri, 16 Oct 2026 (showing 2 of 2 entries )

[13] arXiv:2610.21237 [pdf, html, other]
Title: Compositional Automata Learning of Timed Synchronous Systems
Hanyue Chen, Chang Liu, Miaomiao Zhang
Comments: 32 pages, 26 figures, including appendices. Accepted at SETTA 2026. Code and data: this https URL
Subjects: Formal Languages and Automata Theory (cs.FL)
[14] arXiv:2610.21379 (cross-list from cs.LO) [pdf, html, other]
Title: Model Checking HyperRecHML is Decidable
Elli Anastasiadi, Kim Guldstrand Larsen, Martin Zimmermann
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
Total of 14 entries
Showing up to 50 entries per page: fewer | more | all