Formal Languages and Automata Theory

Authors and titles for September 2022

[26] arXiv:2209.14021 [pdf, other]

Title: A Framework for Formal Verification of DRAM Controllers

Lukas Steiner, Chirag Sudarshan, Matthias Jung, Dominik Stoffel, Norbert Wehn

Comments: ACM/IEEE International Symposium on Memory Systems (MEMSYS 2022)

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

[27] arXiv:2209.14031 [pdf, other]

Title: Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols

Bernhard K. Aichernig (Institute of Software Technology, Graz University of Technology), Edi Muškardin (Silicon Austria Labs, TU Graz - SAL DES Lab, Institute of Software Technology, Graz University of Technology), Andrea Pferscher (Institute of Software Technology, Graz University of Technology)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 1-19

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

[28] arXiv:2209.14039 [pdf, other]

Title: SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems

Baptiste Pelletier (ONERA - The French Aerospace Lab), Charles Lesire (ONERA - The French Aerospace Lab), David Doose (ONERA - The French Aerospace Lab), Karen Godary-Dejean (LIRMM, Université de Montpellier), Charles Dramé-Maigné (LIRMM, Université de Montpellier)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 120-138

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

[29] arXiv:2209.14835 [pdf, other]

Title: Low-Latency Sliding Window Algorithms for Formal Languages

Moses Ganardi, Louis Jachiet, Markus Lohrey, Thomas Schwentick

Comments: A short version will be presented at the conference FSTTCS 2022

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

[30] arXiv:2209.14878 [pdf, other]

Title: Enumerating Regular Languages with Bounded Delay

Antoine Amarilli, Mikaël Monet

Comments: This is the full versions with proofs of the STACS'23 article

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

[31] arXiv:2209.00271 (cross-list from cs.DS) [pdf, html, other]

Title: Maximal Closed Substrings

Golnaz Badkobeh, Alessandro De Luca, Gabriele Fici, Simon Puglisi

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

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

Title: Separators in Continuous Petri Nets

Michael Blondin, Javier Esparza

Comments: Extension of the FoSSaCS'22 conference version

Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 1 (February 21, 2024) lmcs:10017

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

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

Title: From CCS to CSP: the m-among-n Synchronisation Approach

Gerard Ekembe Ngondi (Trinity College Dublin), Vasileios Koutavas (Trinity College Dublin), Andrew Butterfield (Trinity College Dublin)

Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777

Journal-ref: EPTCS 368, 2022, pp. 60-74

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

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

Title: langcc: A Next-Generation Compiler Compiler

Joe Zimmerman

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

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

Title: Autonomous Task Planning for Heterogeneous Multi-Agent Systems

Anatoli A. Tziola, Savvas G. Loizou

Comments: Long version of paper submitted to the IEEE ICRA 2023 Conference

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

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

Title: Antisquares and Critical Exponents

Aseem Baranwal, James Currie, Lucas Mol, Pascal Ochem, Narad Rampersad, Jeffrey Shallit

Journal-ref: Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Combinatorics (September 6, 2023) dmtcs:10063

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

[37] arXiv:2209.09588 (cross-list from math.NT) [pdf, other]

Title: An asymptotic version of Cobham's theorem

Jakub Konieczny

Comments: 17 pages

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

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

Title: On Model-Checking Quantum Pushdown Systems, Extensions and $\omega$-PCTL$^*$ Characterization of Weak Bisimulation

Deren Lin, Tianrong Lin

Comments: [v11] 58 pages, 1 figure; algorithm 1 added; comments are welcome. arXiv admin note: text overlap with arXiv:1405.4806. arXiv admin note: text overlap with arXiv:1410.8314 by other authors

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Quantum Physics (quant-ph)

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

Title: Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions)

Clemens Grabmayer

Comments: Version article submitted to LICS 2022 (with some corrections performed already during the review process, a few afterwards, 14 pages, 2 pages of the appendix)

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

[40] arXiv:2209.12301 (cross-list from cs.DS) [pdf, html, other]

Title: Constant-delay enumeration for SLP-compressed documents

Martín Muñoz, Cristian Riveros

Comments: 32 pages

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

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

Title: Model Predictive Monitoring of Dynamical Systems for Signal Temporal Logic Specifications

Xinyi Yu, Weijie Dong, Xiang Yin, Shaoyuan Li

Comments: This paper is accepted to Automatica. arXiv admin note: substantial text overlap with arXiv:2203.16267

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

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

Title: Bounded Invariant Checking for Stateflow

Predrag Filipovikj (Scania CV AB), Gustav Ung (Scania CV AB), Dilian Gurov (KTH Royal Institute of Technology), Mattias Nyberg (Scania CV AB)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181. arXiv admin note: substantial text overlap with arXiv:2103.06248

Journal-ref: EPTCS 371, 2022, pp. 38-52

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

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

Title: Monitoring ROS2: from Requirements to Autonomous Robots

Ivan Perez (KBR at NASA Ames Research Center), Anastasia Mavridou (KBR at NASA Ames Research Center), Tom Pressburger (NASA Ames Research Center), Alexander Will (Virginia Commonwealth University), Patrick J. Martin (Virginia Commonwealth University)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 208-216

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

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

Title: From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata

Maike Schwammberger (University of Oldenburg), Verena Klös (TU Berlin)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 20-37

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

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

Title: Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata

Gleifer Vaz Alves (UTFPR), Maike Schwammberger (University of Oldenburg)

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal-ref: EPTCS 371, 2022, pp. 77-85

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