We gratefully acknowledge support from
the Simons Foundation and member institutions.

Formal Languages and Automata Theory

Authors and titles for cs.FL in Sep 2017

[ total of 24 entries: 1-24 ]
[ showing up to 25 entries per page: fewer | more ]
[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
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
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
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
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
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
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
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)
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
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
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
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
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
Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL)
[ total of 24 entries: 1-24 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2205, contact, help  (Access key information)