Formal Languages and Automata Theory

Authors and titles for October 2022

[1] arXiv:2210.00235 [pdf, other]

Title: The maximum length of shortest accepted strings for direction-determinate two-way finite automata

Olga Martynova, Alexander Okhotin

Comments: 14 pages, 8 figures

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

[2] arXiv:2210.00946 [pdf, other]

Title: A generic polynomial time approach to separation by first-order logic without quantifier alternation

Thomas Place, Marc Zeitoun

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

[3] arXiv:2210.01635 [pdf, other]

Title: On Rational Recursive Sequences

Lorenzo Clemente, Maria Donten-Bury, Filip Mazowiecki, Michał Pilipczuk

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

[4] arXiv:2210.01910 [pdf, other]

Title: Learning Signal Temporal Logic through Neural Network for Interpretable Classification

Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron

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

[5] arXiv:2210.02329 [pdf, other]

Title: Non-closure under complementation for unambiguous linear grammars

Olga Martynova, Alexander Okhotin

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

[6] arXiv:2210.02426 [pdf, other]

Title: Pebble minimization: the last theorems

Gaëtan Douéneau-Tabot

Comments: 25 pages

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

[7] arXiv:2210.02773 [pdf, other]

Title: Computing Threshold Budgets in Discrete-Bidding Games

Guy Avni, Suman Sadhukhan

Comments: The full version of a paper published at FSTTCS 2022

Subjects: Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT)

[8] arXiv:2210.02925 [pdf, other]

Title: Yet another proof of Parikh's Theorem

Manfred Kufleitner

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

[9] arXiv:2210.03934 [pdf, other]

Title: Automata Equipped with Auxiliary Data Structures and Regular Realizability Problems

Alexander Rubtsov, Mikhail Vyalyi

Comments: 25 pages. An extended version of the conference paper (DCFS 2021), submitted to International Journal of Foundations of Computer Science

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

[10] arXiv:2210.04813 [pdf, other]

Title: Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic

Roland B. Ilyes, Qi Heng Ho, Morteza Lahijanian

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

[11] arXiv:2210.07914 [pdf, other]

Title: Model-checking lock-sharing systems against regular constraints

Corto Mascle

Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC)

[12] arXiv:2210.08298 [pdf, other]

Title: Myhill-Nerode Theorem for Higher-Dimensional Automata

Uli Fahrenberg, Krzysztof Ziemiański

Journal-ref: Fundamenta Informaticae, Volume 192, Issues 3-4: Petri Nets 2023 (November 10, 2024) fi:12761

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

[13] arXiv:2210.10084 [pdf, other]

Title: On History-Deterministic One-Counter Nets

Aditya Prakash, K. S. Thejaswini

Comments: Fixed some typos, and minor inaccuracies in the proof of lemma 19. Redefined 'simulates' to be consistent with the literature

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

[14] arXiv:2210.15209 [pdf, other]

Title: Timed Alignments with Mixed Moves

Neha Rino (LMF, ENS Paris Saclay, MEXICO), Thomas Chatain (LMF, ENS Paris Saclay, MEXICO)

Comments: arXiv admin note: text overlap with arXiv:2207.01870

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

[15] arXiv:2210.17508 [pdf, other]

Title: A model of actors and grey failures

Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (November 22, 2023) lmcs:10238

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

[16] arXiv:2210.01162 (cross-list from cs.RO) [pdf, other]

Title: Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications

Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Optimization and Control (math.OC)

[17] arXiv:2210.03207 (cross-list from cs.CR) [pdf, other]

Title: Threat Repair with Optimization Modulo Theories

Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic

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

[18] arXiv:2210.03996 (cross-list from math.CO) [pdf, other]

Title: Some Tribonacci Conjectures

Jeffrey Shallit

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

[19] arXiv:2210.04219 (cross-list from math.GR) [pdf, html, other]

Title: Rational cross-sections, bounded generation and orders on groups

Corentin Bodart

Comments: Fixed a mistake in the proof of Proposition 7.4, and other minors changes

Journal-ref: Journal of London Mathematical Society, Volume 109, Issue 6, June 2024

Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL)

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

Title: Positive Hennessy-Milner Logic for Branching Bisimulation

Herman Geuvers, Komi Golov

Comments: 17 pages + appendices (22 pages total)

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

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

Title: Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives

Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil Prokhorov, Tomoya Yamaguchi

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

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

Title: How to Play Optimally for Regular Objectives?

Patricia Bouyer, Nathanaël Fijalkow, Mickael Randour, Pierre Vandenhove

Comments: Full version of ICALP 2023 conference paper. 28 pages, 8 figures

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

[23] arXiv:2210.10001 (cross-list from math.GR) [pdf, other]

Title: Algebraic and context-free subsets of subgroups

André Carvalho

Comments: minor changes

Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL)

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

Title: Deterministic vs. Non Deterministic Finite Automata in Automata Processing

Farzana Ahmed Siddique, Tommy James Tracy II, Nathan Brunelle, Kevin Skadron

Subjects: Performance (cs.PF); Hardware Architecture (cs.AR); Formal Languages and Automata Theory (cs.FL)

[25] arXiv:2210.10202 (cross-list from cs.RO) [pdf, other]

Title: Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides

Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian

Comments: 8 pages, to appear in the IEEE International Conference on Robotics and Automation (ICRA), 2023

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

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

Title: Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows

Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray

Comments: Submitted to ICRA 2023

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

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

Title: Transformers Learn Shortcuts to Automata

Bingbin Liu, Jordan T. Ash, Surbhi Goel, Akshay Krishnamurthy, Cyril Zhang

Subjects: Machine Learning (cs.LG); Formal Languages and Automata Theory (cs.FL); Machine Learning (stat.ML)

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

Title: Safe Policy Improvement in Constrained Markov Decision Processes

Luigi Berducci, Radu Grosu

Comments: Accepted for presentation at the International Symposium on Leveraging Applications of Formal Methods (ISoLA, 2022)

Journal-ref: LNCS 13701 (2022) 360-381;

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Robotics (cs.RO)

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

Title: Non-Functional Testing of Runtime Enforcers in Android

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Comments: paper accepted at the 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2022). arXiv admin note: text overlap with arXiv:2010.04258

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)

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

Title: On Universality of the S Combinator

Farrokh Vatan

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

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

Title: A partial order view of message-passing communication models

Cinzia Di Giusto (C&A), Davide Ferré (C&A), Laetitia Laversa (C&A), Etienne Lozes (C&A)

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

[32] arXiv:2210.13971 (cross-list from nlin.CG) [pdf, other]

Title: Cellular Automata: Temporal Stochasticity and Computability

Subrata Paul

Comments: This is my this http URL thesis under the guidance of Dr. Sukanta Das, Associate Professor, Department of Information Technology, Indian Institute of Engineering Science and Technology

Subjects: Cellular Automata and Lattice Gases (nlin.CG); Formal Languages and Automata Theory (cs.FL)

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

Title: Existential Definability over the Subword Ordering

Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (December 21, 2023) lmcs:10219

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