Formal Languages and Automata Theory

Authors and titles for November 2019

[1] arXiv:1911.00474 [pdf, other]

Title: Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach

Raymond Devillers, Evgeny Erofeev, Thomas Hujsa

Comments: 22 pages

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

[2] arXiv:1911.00608 [pdf, other]

Title: Multi-Agent Safety Verification using Symmetry Transformations

Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Systems and Control (eess.SY)

[3] arXiv:1911.00874 [pdf, other]

Title: Automata Learning: An Algebraic Approach

Henning Urbat, Lutz Schröder

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

[4] arXiv:1911.01195 [pdf, other]

Title: Controlling a random population

Thomas Colcombet, Nathanaël Fijalkow, Pierre Ohlmann

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 4 (November 24, 2021) lmcs:7034

Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[5] arXiv:1911.01759 [pdf, other]

Title: New Optimizations and Heuristics for Determinization of Büchi Automata

Christof Löding, Anton Pirogov

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

[6] arXiv:1911.01851 [pdf, other]

Title: Lyndon words versus inverse Lyndon words: queries on suffixes and bordered words

Paola Bonizzoni, Clelia De Felice, Rocco Zaccagnino, Rosalba Zizza

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

Journal-ref: Theoretical Computer Science, 2020

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

[7] arXiv:1911.03493 [pdf, other]

Title: Wreath Products of Distributive Forest Algebras

Michael Hahn, Andreas Krebs, Howard Straubing

Comments: Appeared in: LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, pages 512-520

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

[8] arXiv:1911.03609 [pdf, other]

Title: Cellular Automata: Reversibility, Semi-reversibility and Randomness

Kamalika Bhattacharjee

Comments: This is my Ph.D thesis defended under the guidance of Dr. Sukanta Das, Associate Professor, Department of Information Technology, Indian Institute of Engineering Science and Technology, Shibpur, Howrah, West Bengal, India - 711103

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

[9] arXiv:1911.04404 [pdf, other]

Title: Learning Weighted Automata over Principal Ideal Domains

Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva

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

[10] arXiv:1911.05672 [pdf, other]

Title: Resolvable Ambiguity

Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman

Comments: 25 pages

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

[11] arXiv:1911.05801 [pdf, other]

Title: Iterative method of generating artificial context-free grammars

Olgierd Unold, Agnieszka Kaczmarek, Łukasz Culer

Comments: 28 pages, 10 figures, generator available at this http URL

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

[12] arXiv:1911.05866 [pdf, other]

Title: Witnessing Secure Compilation

Kedar S. Namjoshi, Lucas M. Tabajara

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

[13] arXiv:1911.06355 [pdf, other]

Title: Language Inclusion for Finite Prime Event Structures

Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher

Comments: 20 pages main text, 35 pages total

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

[14] arXiv:1911.06585 [pdf, other]

Title: Weighted Parsing for Grammar-Based Language Models over Multioperator Monoids

Richard Mörbitz, Heiko Vogler

Comments: 59 pages (89 with appendix)

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

[15] arXiv:1911.09133 [pdf, other]

Title: Synthesis of Reduced Asymmetric Choice Petri Nets

Harro Wimmel

Comments: 27 pages, 10 figures, V2 due to font problem with this http URL (one font symbol had been erroneously replaced with a greek Psi by LiveTeX)

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

[16] arXiv:1911.11529 [pdf, other]

Title: Fuzzy Deterministic Top-down Tree Automata

Eija Jurvanen, Magnus Steinby

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

[17] arXiv:1911.11704 [pdf, other]

Title: Words Avoiding Reversed Factors, Revisited

Lukas Fleischer, Jeffrey Shallit

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

[18] arXiv:1911.12464 [pdf, other]

Title: Words With Few Palindromes, Revisited

Lukas Fleischer, Jeffrey Shallit

Comments: Minor typo corrections

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

[19] arXiv:1911.12737 [pdf, other]

Title: LL(1) Parsing with Derivatives and Zippers

Romain Edelmann, Jad Hamza, Viktor Kunčak

Comments: Appeared at PLDI'20 under the title "Zippy LL(1) Parsing with Derivatives"

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

[20] arXiv:1911.13054 [pdf, other]

Title: On the Balancedness of Tree-to-word Transducers

Raphaela Löbel, Michael Luttenberger, Helmut Seidl

Comments: Major changes in Section 3 Balancedness of 2-TWs: instead of proving equivalence of LTWs over the involutive monoid we use the result that equivalence of LTWs over the free group is decidable in polynomial time (arXiv:2001.03480). A short version will be published in the conference proceedings of DLT 2020

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

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

Title: Verification and Parameter Synthesis for Stochastic Systems using Optimistic Optimization

Negin Musavi, Dawei Sun, Sayan Mitra, Geir Dullerud, Sanjay Shakkottai

Comments: 24 pages, 7 figures

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

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

Title: The role of formalism in system requirements (full version)

Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer

Comments: Fourth version (15 April 2020). This is the full version, including some sections and 2 appendices not appearing in the short version

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

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

Title: Promptness and Bounded Fairness in Concurrent and Parameterized Systems

Swen Jacobs, Mouhammad Sakr, Martin Zimmermann

Comments: Accepted for publication in VMCAI 2020

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

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

Title: Synthesis of coordination programs from linear temporal logic

Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar

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

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

Title: Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Emanuele D'Osualdo, Felix Stutz

Comments: 16 pages + 23 pages appendix, 5 figures To appear in CONCUR 2020

Journal-ref: 31st International Conference on Concurrency Theory (CONCUR 2020)

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

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

Title: Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications

Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi

Comments: Accepted by AAAI 2020. Tool Lisa for (a). LTLf to DFA conversion, and (b). LTLf synthesis can be found here: this https URL

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

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

Title: DesignBIP: A Design Studio for Modeling and Generating Systems with BIP

Anastasia Mavridou (Vanderbilt University), Joseph Sifakis (Verimag), Janos Sztipanovits (Vanderbilt University)

Comments: In Proceedings MeTRiD 2018, arXiv:1806.09330. A technical report with full details is available at arXiv:1805.09919

Journal-ref: EPTCS 272, 2018, pp. 93-106

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

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

Title: The Bouquet Algorithm for Model Checking Unbounded Until

Shiraj Arora, M. V. Panduranga Rao

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

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

Title: Hyperproperties for Robotics: Planning via HyperLTL

Yu Wang, Siddhartha Nalluri, Miroslav Pajic

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