Formal Languages and Automata Theory

Authors and titles for recent submissions

See today's new changes

Total of 7 entries

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

[2] 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)
[3] 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)

No updates for this time period.

[4] 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)
[5] 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: 37 pages + 7 page appendix

Subjects: Group Theory (math.GR); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS)
[6] 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)
[7] 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)

Total of 7 entries

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