We gratefully acknowledge support from
the Simons Foundation
and member institutions

Formal Languages and Automata Theory

Authors and titles for recent submissions

[ total of 12 entries: 1-12 ]
[ showing up to 25 entries per page: fewer | more ]

Thu, 14 Sep 2017

[1]  arXiv:1709.04380 [pdf, other]
Title: Neural Network Based Nonlinear Weighted Finite Automata
Comments: LICS Conference: LearnAut Workshop
Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Learning (cs.LG)

Wed, 13 Sep 2017

[2]  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)

Tue, 12 Sep 2017

[3]  arXiv:1709.03245 [pdf, other]
Title: Verification of Asynchronous Systems with an Unspecified Component
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[4]  arXiv:1709.03122 [pdf, ps, other]
Title: Two Recursively Inseparable Problems for Probabilistic Automata
Comments: Conference version: MFCS'14
Subjects: Formal Languages and Automata Theory (cs.FL)
[5]  arXiv:1709.03121 [pdf, other]
Title: Trading Bounds for Memory in Games with Counters
Comments: Conference version: ICALP'15
Subjects: Formal Languages and Automata Theory (cs.FL)

Mon, 11 Sep 2017

[6]  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)
[7]  arXiv:1709.02478 (cross-list from math.GR) [pdf, other]
Title: Closure Properties in the Class of Multiple Context Free Groups
Comments: 19 pages, 3 figures
Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL)
[8]  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)

Fri, 8 Sep 2017

[9]  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)
[10]  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)
[11]  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)
[12]  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)
[ total of 12 entries: 1-12 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)