Formal Languages and Automata Theory

Authors and titles for cs.FL in Nov 2022

[1]  arXiv:2211.00758 [pdf, other]

Title: Counterfactual Causality in Networks

Authors: Georgiana Caltais, Can Olmezoglu

Journal-ref: https://nwpt.w.uib.no/files/2022/11/NWPT22_paper_3631.pdf

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

[2]  arXiv:2211.01022 [pdf, other]

Title: Verifying And Interpreting Neural Networks using Finite Automata

Authors: Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange

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

[3]  arXiv:2211.02889 [pdf, other]

Title: Geometry of VAS reachability sets

Authors: Roland Guttenberg, Mikhail Raskin

Comments: 21 pages, 5 figures

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

[4]  arXiv:2211.07644 [pdf, ps, other]

Title: Bounds and Estimates on the Average Edit Distance

Authors: Gianfranco Bilardi, Michele Schimd

Comments: 42 pages, 1 figure, 9 tables, submitted for review

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

[5]  arXiv:2211.08787 [pdf, other]

Title: Minimization and Learning of Deterministic $ω$-Automata in the Presence of Don't Care Words

Authors: Christof Löding, Max Philip Stachon

Comments: Version 2 is a minor revision with a few references added, some additional explanations, and a few typos corrected

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

[6]  arXiv:2211.08891 [pdf, other]

Title: Validating Streaming JSON Documents with Learned VPAs

Authors: Véronique Bruyère, Guillermo A. Perez, Gaëtan Staquet

Comments: 46 pages, 10 figures, published at TACAS 2023

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

[7]  arXiv:2211.09417 [pdf, other]

Title: Some Results on Digital Segments and Balanced Words

Authors: Alessandro De Luca, Gabriele Fici

Comments: Submitted

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

[8]  arXiv:2211.10405 [pdf, other]

Title: A Note on Generating Sets for Semiflows

Authors: Gerard Memmi

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

[9]  arXiv:2211.10540 [pdf, ps, other]

Title: Waiting Nets (Extended Version)

Authors: Loïc Hélouët, Pranay Agrawal

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

[10]  arXiv:2211.12589 [pdf, other]

Title: Building Squares with Optimal State Complexity in Restricted Active Self-Assembly

Authors: Robert M. Alaniz, David Caballero, Sonya C. Cirlos, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, Armando Tenorio, Tim Wylie

Comments: An earlier version was published in the 2022 Symposium on Algorithmic Foundations of Dynamic Networks (SAND)

Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Emerging Technologies (cs.ET); Adaptation and Self-Organizing Systems (nlin.AO); Cellular Automata and Lattice Gases (nlin.CG)

[11]  arXiv:2211.14028 [pdf, other]

Title: Automata Cascades: Expressivity and Sample Complexity

Authors: Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo

Comments: Full version with appendix of a paper with the same title that appears in the proceedings of AAAI 2023

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

[12]  arXiv:2211.14076 [pdf, ps, other]

Title: Factor-balanced $S$-adic languages

Authors: Léo Poirier (ENS Lyon), Wolfgang Steiner (IRIF)

Subjects: Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS)

[13]  arXiv:2211.14613 [pdf, ps, other]

Title: Some Remarks on Almost Periodic Sequences and Languages

Authors: Gabriel Istrate

Comments: Reconstructed source file of a paper originally published in 1995 in a volume currently without an online version (and with limited availability). Uploaded in order to ensure the online availability (and preservation) of the paper. This version faithfully reproduces the original, except for the addition of a note about the solution of Open Problem 3 and the correction of some minor typos

Journal-ref: pages 191-195, in "Mathematical linguistics and related topics. Papers in honor of Solomon Marcus on his 70th birthday". Edited by Gheorghe P\u{a}un. Editura Academiei Rom\^ane, Bucharest, 1995. xii+364 pp. ISBN: 973-27-0486-1

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

[14]  arXiv:2211.16074 [pdf, other]

Title: Fingerprinting and Analysis of Bluetooth Devices with Automata Learning

Authors: Andrea Pferscher, Bernhard K. Aichernig

Comments: This is a preprint of an extended version of the conference paper "Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning" accepted for presentation at FM 2021, Formal Methods - 24th International Symposium, Virtual Event. The extended version is currently under review

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

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

Title: Partially-Observable Security Games for Automating Attack-Defense Analysis

Authors: Narges Khakpour, David Parker

Subjects: Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL)

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

Title: Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version)

Authors: Nicolas Berthier, Narges Khakpour

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC)

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

Title: Supervisory Control for Dynamic Feature Configuration in Product Lines

Authors: Sander Thuijsman, Michel Reniers

Comments: Published open access in ACM TECS (Transactions on Embedded Computing Systems). 26 pages, 6 figures, 20 listings, 2 tables

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

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

Title: Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition

Authors: Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin

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

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

Title: Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines

Authors: Andrew C. Li, Zizhao Chen, Pashootan Vaezipoor, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith

Comments: NeurIPS Deep Reinforcement Learning Workshop 2022

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

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

Title: Contract-Based Specification Refinement and Repair for Mission Planning

Authors: Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli

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

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

Title: Application of property-based testing tools\\ for metamorphic testing

Authors: Nasser Alzahrani, Maria Spichkova, James Harland

Comments: Preprint. Accepted to the 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2022). Final version published by SCITEPRESS, this http URL

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

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

Title: Run-Based Semantics for RPQs

Authors: Claire David, Victor Marsault, Nadime Francis

Comments: 35 pages

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

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

Title: Bidding Graph Games with Partially-Observable Budgets

Authors: Guy Avni, Ismael Jecker, Djordje Zikelic

Comments: The full version of a paper published at AAAI 23

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

[24]  arXiv:2211.14233 (cross-list from cs.CR) [pdf, ps, other]

Title: strategFTO: Untimed control for timed opacity

Authors: Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho

Comments: This work is partially supported by the ANR-NRF French-Singaporean research program ProMiS (ANR-19-CE25-0015 / 2019 ANR NRF 0092) and the ANR research program BisoUS. Experiments presented in this paper were carried out using the Grid'5000 testbed, supported by a scientific interest group hosted by Inria and including CNRS, RENATER and several universities as well as other organizations

Journal-ref: Proceedings of the 8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022)

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

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

Title: Exploring the Long-Term Generalization of Counting Behavior in RNNs

Authors: Nadine El-Naggar, Pranava Madhyastha, Tillman Weyde

Comments: Published in I Can't Believe It's Not Better: Understanding Deep Learning Through Empirical Falsification Workshop at NeurIPS 2022

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