Formal Languages and Automata Theory

Authors and titles for recent submissions, skipping first 7

[ total of 13 entries: 1-10 | 8-13 ]
[ showing 10 entries per page: fewer | more | all ]

[8] arXiv:2512.00297 [pdf, ps, other]: Title: Unconditional Time and Space Complexity Lower Bounds for Intersection Non-Emptiness

Authors: Michael Wehar

Comments: 11 pages, draft

Subjects: Formal Languages and Automata Theory (cs.FL)
[9] arXiv:2512.01502 (cross-list from quant-ph) [pdf, ps, other]: Title: Formal Verification of Noisy Quantum Reinforcement Learning Policies

Authors: Dennis Gross

Subjects: Quantum Physics (quant-ph); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)
[10] arXiv:2512.01036 (cross-list from cs.PL) [pdf, ps, other]: Title: A Word Sampler for Well-Typed Functions

Authors: Breandan Considine

Comments: 2 pages

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

[11] arXiv:2511.22979 [pdf, ps, other]: Title: The Target Discounted-Sum Problem

Authors: Udi Boker, Thomas A. Henzinger, Jan Otop

Comments: This paper refines and expands the LICS 2015 paper with the same title (DOI 10.1109/LICS.2015.74), and in particular fixes the statements of Theorems 23, 25, and 26

Subjects: Formal Languages and Automata Theory (cs.FL)
[12] arXiv:2511.22588 [pdf, ps, other]: Title: Extended branching Rauzy induction

Authors: Francesco Dolce, Christian B. Hughes

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS)

[13] arXiv:2511.21559 [pdf, ps, other]: Title: General Decidability Results for Systems with Continuous Counters

Authors: A. R. Balasubramanian, Matthew Hague, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

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

[ total of 13 entries: 1-10 | 8-13 ]
[ showing 10 entries per page: fewer | more | all ]