Formal Languages and Automata Theory

Authors and titles for cs.FL in Sep 2017

[1]  arXiv:1709.02098 [pdf, ps, other]

Title: MK-fuzzy Automata and MSO Logics

Authors: Manfred Droste (University of Leipzig), Temur Kutsia (RISC), George Rahonis (Aristotle University of Thessaloniki), Wolfgang Schreiner (RISC)

Comments: In Proceedings GandALF 2017, arXiv:1709.01761

Journal-ref: EPTCS 256, 2017, pp. 106-120

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

[2]  arXiv:1709.02102 [pdf, other]

Title: LTL to Deterministic Emerson-Lei Automata

Authors: David Müller (Technische Universität Dresden), Salomon Sickert (Technische Universität München)

Comments: In Proceedings GandALF 2017, arXiv:1709.01761

Journal-ref: EPTCS 256, 2017, pp. 180-194

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

[3]  arXiv:1709.03121 [pdf, other]

Title: Trading Bounds for Memory in Games with Counters

Authors: Nathanaël Fijalkow, Florian Horn, Denis Kuperberg, Michał Skrzypczak

Comments: Conference version: ICALP'15

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

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

Title: Two Recursively Inseparable Problems for Probabilistic Automata

Authors: Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Youssouf Oualhadj

Comments: Conference version: MFCS'14

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

[5]  arXiv:1709.03245 [pdf, other]

Title: Verification of Asynchronous Systems with an Unspecified Component

Authors: Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi

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

[6]  arXiv:1709.04380 [pdf, other]

Title: Neural Network Based Nonlinear Weighted Finite Automata

Authors: Tianyu Li, Guillaume Rabusseau, Doina Precup

Comments: AISTATS 2018

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

[7]  arXiv:1709.07171 [pdf, ps, other]

Title: Computing Maximal Expected Termination Time of Probabilistic Timed Automata

Authors: Omar Al-Bataineh, Michael Fisher, David Rosenblum

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

[8]  arXiv:1709.07719 [pdf, ps, other]

Title: Directable Fuzzy and Nondeterministic Automata

Authors: Magnus Steinby

Comments: 16 pages, 1 figure

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

[9]  arXiv:1709.08018 [pdf, other]

Title: A new indexed approach to render the attractors of Kleinian groups

Authors: Alessandro Rosa

Comments: 9 pages, 15 figures

Subjects: Formal Languages and Automata Theory (cs.FL); Mathematical Software (cs.MS)

[10]  arXiv:1709.08696 [pdf, other]

Title: Widths of regular and context-free languages

Authors: David Mestel

Comments: 22 pages

Journal-ref: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019)

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

[11]  arXiv:1709.08991 [pdf, other]

Title: Reachability Switching Games

Authors: John Fearnley, Martin Gairing, Matthias Mnich, Rahul Savani

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 2 (April 22, 2021) lmcs:7392

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

[12]  arXiv:1709.10052 [pdf, other]

Title: Adding successor: A transfer theorem for separation and covering

Authors: Thomas Place, Marc Zeitoun

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

[13]  arXiv:1709.01761 (cross-list from cs.GT) [html]

Title: Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification

Authors: Patricia Bouyer (LSV, CNRS & ENS de Cachan), Andrea Orlandini (ISTC-CNR, Italy), Pierluigi San Pietro (DEIB, Politecnico di Milano)

Journal-ref: EPTCS 256, 2017

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

[14]  arXiv:1709.02092 (cross-list from cs.PL) [pdf, ps, other]

Title: Probabilistic Analysis Based On Symbolic Game Semantics and Model Counting

Authors: Aleksandar S. Dimovski (IT University of Copenhagen)

Comments: In Proceedings GandALF 2017, arXiv:1709.01761

Journal-ref: EPTCS 256, 2017, pp. 1-15

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

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

Title: Beyond $ω$BS-regular Languages: $ω$T-regular Expressions and Counter-Check Automata

Authors: Dario Della Monica (Universidad Complutense de Madrid, Spain, and Università "Federico II" di Napoli, Italy), Angelo Montanari (Università di Udine, Italy), Pietro Sala (Università di Verona)

Comments: In Proceedings GandALF 2017, arXiv:1709.01761

Journal-ref: EPTCS 256, 2017, pp. 223-237

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

[16]  arXiv:1709.02440 (cross-list from cs.LO) [pdf, ps, other]

Title: Sequential Composition in the Presence of Intermediate Termination (Extended Abstract)

Authors: Jos Baeten (CWI and University of Amsterdam), Bas Luttik (Eindhoven University of Technology), Fei Yang (Eindhoven University of Technology)

Comments: In Proceedings EXPRESS/SOS 2017, arXiv:1709.00049. arXiv admin note: substantial text overlap with arXiv:1706.08401

Journal-ref: EPTCS 255, 2017, pp. 1-17

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

[17]  arXiv:1709.03539 (cross-list from cs.GT) [pdf, ps, other]

Title: Finite-state Strategies in Delay Games

Authors: Martin Zimmermann (Saarland University)

Comments: In Proceedings GandALF 2017, arXiv:1709.01761. Full version at arXiv:1704.08887

Journal-ref: EPTCS 256, 2017, pp. 151-165

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

[18]  arXiv:1709.07139 (cross-list from cs.LO) [pdf, ps, other]

Title: Learning to Prove Safety over Parameterised Concurrent Systems (Full Version)

Authors: Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Ruemmer

Comments: Full version of FMCAD'17 paper

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

[19]  arXiv:1709.09006 (cross-list from cs.LO) [pdf, ps, other]

Title: CARET analysis of multithreaded programs

Authors: Huu-Vu Nguyen, Tayssir Touili

Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)

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

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

Title: Communicating Finite-State Machines and Two-Variable Logic

Authors: Benedikt Bollig, Marie Fortin, Paul Gastin

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

[21]  arXiv:1709.01387 (cross-list from quant-ph) [pdf, ps, other]

Title: Quantum machines with classical control

Authors: Paulo Mateus, Daowen Qiu, Andre Souto

Comments: arXiv admin note: substantial text overlap with arXiv:0909.1428

Journal-ref: Logic and Computation: Essays in Honour of Amilcar Sernadas. College Publications, London, 2017. p. 271--302

Subjects: Quantum Physics (quant-ph); Formal Languages and Automata Theory (cs.FL)

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

Title: Closure Properties in the Class of Multiple Context Free Groups

Authors: Robert P. Kropholler, Davide Spriano

Comments: 22 pages, 3 figures, added section 6 and addressed typos

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

[23]  arXiv:1709.02644 (cross-list from math.DS) [pdf, ps, other]

Title: Automata as $p$-adic Dynamical Systems

Authors: Livat Tyapaev

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

[24]  arXiv:1709.09598 (cross-list from math.GR) [pdf, ps, other]

Title: Knapsack Problems for Wreath Products

Authors: Moses Ganardi, Daniel König, Markus Lohrey, Georg Zetzsche

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