Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Formal Languages and Automata Theory

Authors and titles for recent submissions

See today's new changes

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

Wed, 29 Jan 2025 (showing 1 of 1 entries )

[3] arXiv:2501.16977 (cross-list from cs.PL) [pdf, other]
Title: An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
Felix Stutz, Emanuele D'Osualdo
Comments: 34 pages, 115 pages including appendix; to appear in ESOP 2025
Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL)

Tue, 28 Jan 2025 (showing 5 of 5 entries )

[4] arXiv:2501.16274 [pdf, html, other]
Title: What is Formal Verification without Specifications? A Survey on mining LTL Specifications
Daniel Neider, Rajarshi Roy
Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[5] arXiv:2501.16088 [pdf, html, other]
Title: Automating the Analysis of Quantitative Automata with QuAK
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[6] arXiv:2501.15192 [pdf, html, other]
Title: A polynomial-time algorithm for the automatic Baire property
Ludwig Staiger
Comments: 12 pages
Subjects: Formal Languages and Automata Theory (cs.FL)
[7] arXiv:2501.14899 [pdf, html, other]
Title: The Alternation Hierarchy of First-Order Logic on Words is Decidable
Corentin Barloy, Michaël Cadilhac, Charles Paperman, Howard Straubing
Comments: 12 pages, plus bibliography (2 pages) and appendix (5 pages). Conference version
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)
[8] arXiv:2501.16291 (cross-list from cs.GT) [pdf, html, other]
Title: Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives
Abhishek Ninad Kulkarni, Jie Fu, Ufuk Topcu
Comments: 9 pages, 3 figures, accepted at AAAI 2025 (AI alignment track)
Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL)

Mon, 27 Jan 2025 (showing 2 of 2 entries )

[9] arXiv:2501.14725 [pdf, html, other]
Title: Fined-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs
Karolina Drabik, Anita Dürr, Fabian Frei, Filip Mazowiecki, Karol Węgrzycki
Subjects: Formal Languages and Automata Theory (cs.FL)
[10] arXiv:2501.14360 (cross-list from cs.AI) [pdf, html, other]
Title: In System Alignments we Trust! Explainable Alignments via Projections
Dominique Sommers, Natalia Sidorova, Boudewijn van Dongen
Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)
Total of 10 entries
Showing up to 50 entries per page: fewer | more | all