Formal Languages and Automata Theory

Authors and titles for cs.FL in Sep 2022, skipping first 40

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

Title: Monitoring ROS2: from Requirements to Autonomous Robots

Authors: 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)

[42]  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

Authors: 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)

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

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

Authors: 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)

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

Title: Antisquares and Critical Exponents

Authors: 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)

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

Title: An asymptotic version of Cobham's theorem

Authors: Jakub Konieczny

Comments: 17 pages

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