Formal Languages and Automata Theory

Authors and titles for April 2023

[1] arXiv:2304.01278 [pdf, other]

Title: Jumping Automata over Infinite Words

Shaull Almagor, Omer Yizhaq

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

[2] arXiv:2304.03183 [pdf, html, other]

Title: History-deterministic Timed Automata

Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke

Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 4 (October 2, 2024) lmcs:11166

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

[3] arXiv:2304.03268 [pdf, other]

Title: Magic numbers in periodic sequences

Savinien Kreczman, Luca Prigioniero, Eric Rowland, Manon Stipulanti

Comments: 19 pages, 2 figures, 3 tables, accepted at the international conferences WORDS 2023

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

[4] arXiv:2304.04840 [pdf, other]

Title: NL Is Strictly Contained in P

Santiago Flum, J. Andres Montoya

Comments: There is a gap that cannot be fixed

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

[5] arXiv:2304.05064 [pdf, other]

Title: Reasoning about Regular Properties: A Comparative Study

Tomáš Fiedor, Lukáš Holík, Martin Hruška, Adam Rogalewicz, Juraj Síč, Pavol Vargovčík

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

[6] arXiv:2304.05210 [pdf, other]

Title: Exact and Approximated Log Alignments for Processes with Inter-case Dependencies

Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen

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

[7] arXiv:2304.05229 [pdf, html, other]

Title: The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)

Laure Daviaud, David Purser, Marie Tcheng

Comments: Version 2: adds section on Max-Plus automata with increasingly complex witnesses

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

[8] arXiv:2304.06645 [pdf, other]

Title: Robustness Measures and Monitors for Time Window Temporal Logic

Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, Calin Belta

Comments: Submitted to the 62nd IEEE Conference on Decision and Control (CDC2023)

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

[9] arXiv:2304.07190 [pdf, other]

Title: Completeness Theorems for Kleene algebra with tests and top

Damien Pous, Jana Wagemaker

Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 3 (September 30, 2024) lmcs:11198

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

[10] arXiv:2304.09223 [pdf, other]

Title: Quantitative estimates for the size of an intersection of sparse automatic sets

Seda Albayrak, Jason Bell

Comments: 14 pages

Subjects: Formal Languages and Automata Theory (cs.FL); Number Theory (math.NT)

[11] arXiv:2304.09920 [pdf, other]

Title: Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification

Jiří Balun, Tomáš Masopust, Petr Osička

Subjects: Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)

[12] arXiv:2304.09997 [pdf, other]

Title: On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata

Tobias Winkler, Joost-Pieter Katoen

Comments: Full version of LICS '23 paper, including an appendix with technical proofs

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

[13] arXiv:2304.10286 [pdf, html, other]

Title: On the Computational Power of Particle Methods

Johannes Pahlke, Ivo F. Sbalzarini

Comments: 16 pages, 24 appendix pages

Subjects: Formal Languages and Automata Theory (cs.FL); Numerical Analysis (math.NA)

[14] arXiv:2304.11034 [pdf, other]

Title: Revisiting Membership Problems in Subclasses of Rational Relations

Pascal Bergsträßer, Moses Ganardi

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

[15] arXiv:2304.11641 [pdf, other]

Title: Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives

Lening Li, Hazhar Rahmani, Jie Fu

Comments: 11 pages, 4 figures, accepted by 2023 International Joint Conference on Artificial Intelligence

Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI)

[16] arXiv:2304.11932 [pdf, other]

Title: On arch factorization and subword universality for words and compressed words

Philippe Schnoebelen, Julien Veron

Comments: Accepted for publication in Proc. 14th Int. Conf. Combinatorics on Words (WORDS 2023)

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

[17] arXiv:2304.12947 [pdf, other]

Title: Positive Data Languages

Florian Frank, Stefan Milius, Henning Urbat

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

[18] arXiv:2304.13575 [pdf, other]

Title: A strongly universal cellular automaton on the heptagrif with six states

Maurice Margenstern

Comments: 35 pages, 28 figures

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

[19] arXiv:2304.14145 [pdf, other]

Title: Multiplicity Problems on Algebraic Series and Context-Free Grammars

Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell

Comments: full technical report of a LICS'23 paper

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)

[20] arXiv:2304.14996 [pdf, other]

Title: Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks

Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke

Comments: This paper is accepted for publication (without appendix) in the Proceedings of the 2023 International Symposium on Theoretical Aspects of Software Engineering (TASE). The appendix was part of the submission and provides additional material which is not included in the TASE publication

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

[21] arXiv:2304.01475 (cross-list from eess.SY) [pdf, other]

Title: Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications

Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka

Comments: 8 pages, 5 figures

Journal-ref: 2023 62nd IEEE Conference on Decision and Control (CDC)

Subjects: Systems and Control (eess.SY); Formal Languages and Automata Theory (cs.FL); Robotics (cs.RO)

[22] arXiv:2304.03089 (cross-list from cs.SC) [pdf, other]

Title: Classifying sequences by combining context-free grammars and OWL ontologies

Nicolas Lazzari, Andrea Poltronieri, Valentina Presutti

Comments: Preprint - ESWC 2023

Subjects: Symbolic Computation (cs.SC); Formal Languages and Automata Theory (cs.FL)

[23] arXiv:2304.03639 (cross-list from cs.LG) [pdf, other]

Title: Theoretical Conditions and Empirical Failure of Bracket Counting on Long Sequences with Linear Recurrent Networks

Nadine El-Naggar, Pranava Madhyastha, Tillman Weyde

Comments: 17th Conference of the European Chapter of the Association for Computational Linguistics Student Research Workshop (EACL 2023 SRW)

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Neural and Evolutionary Computing (cs.NE)

[24] arXiv:2304.05270 (cross-list from cs.DS) [pdf, other]

Title: Longest Common Subsequence with Gap Constraints

Duncan Adamson, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer

Subjects: Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)

[25] arXiv:2304.06155 (cross-list from cs.DB) [pdf, html, other]

Title: Skyline Operators for Document Spanners

Antoine Amarilli, Benny Kimelfeld, Sébastien Labbé, Stefan Mengel

Comments: 42 pages. This is the full version of the ICDT'24 publication, which includes all reviewer feedback; the main body is identical to the ICDT'24 article up to minor changes

Subjects: Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)

[26] arXiv:2304.06232 (cross-list from cs.DB) [pdf, other]

Title: Conjunctive Regular Path Queries under Injective Semantics

Diego Figueira, Miguel Romero

Comments: Accepted in the Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS '23)

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

[27] arXiv:2304.07687 (cross-list from cs.LG) [pdf, html, other]

Title: MLRegTest: A Benchmark for the Machine Learning of Regular Languages

Sam van der Poel, Dakotah Lambert, Kalina Kostyszyn, Tiantian Gao, Rahul Verma, Derek Andersen, Joanne Chau, Emily Peterson, Cody St. Clair, Paul Fodor, Chihiro Shibata, Jeffrey Heinz

Comments: Accepted for publication in the Journal of Machine Learning Research. Dataset available at this https URL , code available at this https URL

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)

[28] arXiv:2304.09639 (cross-list from cs.LO) [pdf, html, other]

Title: The Transformation Logics

Alessandro Ronca

Comments: Extended version with appendix of a paper with the same title that appears in the proceedings of IJCAI 2024

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

[29] arXiv:2304.09664 (cross-list from cs.DM) [pdf, other]

Title: On countings and enumerations of block-parallel automata networks

Kévin Perrot, Sylvain Sené, Léah Tapin

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

[30] arXiv:2304.11613 (cross-list from cs.LO) [pdf, other]

Title: Quantifying over Trees in Monadic Second-Order Logic

Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron

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

[31] arXiv:2304.12508 (cross-list from cs.LG) [pdf, other]

Title: Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning

Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)

[32] arXiv:2304.13816 (cross-list from cs.LO) [pdf, other]

Title: Verifying linear temporal specifications of constant-rate multi-mode systems

Michael Blondin, Philip Offtermatt, Alex Sansfaçon-Buchanan

Comments: appeared at LICS 2023

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