We gratefully acknowledge support from
the Simons Foundation and member institutions.

Formal Languages and Automata Theory

Authors and titles for recent submissions

[ total of 11 entries: 1-11 ]
[ showing up to 25 entries per page: fewer | more ]

Fri, 19 Apr 2024

[1]  arXiv:2404.11746 [pdf, ps, other]
Title: On the Representation of Block Languages
Authors: Guilherme Duarte, Nelma Moreira, Luca Prigioniero, Rogério Reis
Subjects: Formal Languages and Automata Theory (cs.FL)

Thu, 18 Apr 2024

[2]  arXiv:2404.11096 [pdf, ps, other]
Title: Review of Automaton Learning Algorithms with Polynomial Complexity -- Completely Solved Examples
Authors: Farah Haneef
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)
[3]  arXiv:2404.11578 (cross-list from cs.LG) [pdf, other]
Title: Deep Policy Optimization with Temporal Logic Constraints
Authors: Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia
Comments: preprint, 8 pages
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)

Wed, 17 Apr 2024

[4]  arXiv:2404.10752 [pdf, other]
Title: Computing Inductive Invariants of Regular Abstraction Frameworks
Authors: Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr
Comments: 24 pages
Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC)
[5]  arXiv:2404.10653 [pdf, other]
Title: Context-Free Languages of String Diagrams
Authors: Matt Earnshaw, Mario Román
Subjects: Formal Languages and Automata Theory (cs.FL); Category Theory (math.CT)
[6]  arXiv:2404.10516 [pdf, other]
Title: Exact descriptional complexity of determinization of input-driven pushdown automata
Authors: Olga Martynova
Subjects: Formal Languages and Automata Theory (cs.FL)

Tue, 16 Apr 2024

[7]  arXiv:2404.09888 [pdf, other]
Title: Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
Authors: Josefine B. Graebener, Apurva S. Badithela, Denizalp Goktas, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray
Comments: Manuscript
Subjects: Formal Languages and Automata Theory (cs.FL); Robotics (cs.RO); Systems and Control (eess.SY)
[8]  arXiv:2404.09862 [pdf, other]
Title: A Uniform Framework for Language Inclusion Problems
Authors: Kyveli Doveri, Pierre Ganty, Chana Weil-Kennedy
Comments: Published as part of the Festschrift for Javier Esparza "Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday"
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[9]  arXiv:2404.09674 (cross-list from cs.DS) [pdf, ps, other]
Title: A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata
Authors: Antoine Amarilli, Marcelo Arenas, YooJung Choi, Mikaël Monet, Guy Van den Broeck, Benjie Wang
Comments: 26 pages
Subjects: Data Structures and Algorithms (cs.DS); Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)
[10]  arXiv:2404.08819 (cross-list from cs.LG) [pdf, other]
Title: The Illusion of State in State-Space Models
Authors: William Merrill, Jackson Petty, Ashish Sabharwal
Comments: Preprint
Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)

Mon, 15 Apr 2024

[11]  arXiv:2404.08469 [pdf, ps, other]
Title: Supervisory Control Theory with Event Forcing
Authors: Michel Reniers, Kai Cai
Comments: 12 pages, 7 figures
Subjects: Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)
[ total of 11 entries: 1-11 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2404, contact, help  (Access key information)