Formal Languages and Automata Theory

Authors and titles for cs.FL in May 2020, skipping first 25

[26]  arXiv:2005.11551 [pdf, ps, other]

Title: Minimisation in Logical Form

Authors: Nick Bezhanishvili, Marcello Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva

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

[27]  arXiv:2005.13151 [pdf, other]

Title: Timed Automata Benchmark Description

Authors: Peter Fontana, Rance Cleaveland

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

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

Title: An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata

Authors: Salomon Sickert, Javier Esparza

Comments: This is the extended version of the referenced conference paper and contains an appendix with additional material

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

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

Title: Regular Model Checking Revisited (Technical Report)

Authors: Anthony W. Lin, Philipp Rümmer

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

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

Title: Revisiting Parameter Synthesis for One-Counter Automata

Authors: Guillermo A. Pérez (1), Ritam Raha (1 and 2) ((1) University of Antwerp, Antwerp, Belgium, (2) LaBRI, University of Bordeaux, Bordeaux, France)

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

[31]  arXiv:2005.04486 (cross-list from cs.GT) [src]

Title: Playing odds and evens with finite automata

Authors: Vladislav Makarov

Comments: As pointed out by an anonymous reviewer, all the main results of this paper were proven before on a higher level of generality

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

[32]  arXiv:2005.05520 (cross-list from cs.DM) [pdf, other]

Title: N-PAT: A Nested Model-Checker

Authors: Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Gore, Zhé Hóu, Brendan Mahony, Jim McCarthy

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

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

Title: Probabilistic Hyperproperties with Nondeterminism

Authors: Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe

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

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

Title: Bisimilarity in fresh-register automata

Authors: Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos

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

[35]  arXiv:2005.06814 (cross-list from cs.DC) [pdf, other]

Title: How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation

Authors: Clément Aubert, Ioana Cristescu (HMS)

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

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

Title: DisCoveR: Accurate & Efficient Discovery of Declarative Process Models

Authors: Christoffer Olling Back, Tijs Slaats, Thomas Troels Hildebrandt, Morten Marquard

Comments: Author's original version

Subjects: Machine Learning (cs.LG); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE); Machine Learning (stat.ML)

[37]  arXiv:2005.11718 (cross-list from cs.DM) [pdf, other]

Title: An inequality for the number of periods in a word

Authors: Daniel Gabric, Narad Rampersad, Jeffrey Shallit

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

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

Title: RTAMT: Online Robustness Monitors from STL

Authors: Dejan Nickovic, Tomoya Yamaguchi

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

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

Title: Verification of the IBOS Browser Security Properties in Reachability Logic

Authors: Stephen Skeirik, José Meseguer, Camilo Rocha

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

[40]  arXiv:2005.12588 (cross-list from cs.CL) [pdf, other]

Title: Verification and Validation of Convex Optimization Algorithms for Model Predictive Control

Authors: Raphaël Cohen, Eric Féron, Pierre-Loïc Garoche (ENAC)

Journal-ref: Journal of Aerospace Information Systems, American Institute of Aeronautics and Astronautics, 2020, 17 (5), pp.257-270

Subjects: Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Optimization and Control (math.OC)

[41]  arXiv:2005.12911 (cross-list from cs.DC) [pdf, ps, other]

Title: Symbolic and Structural Model-Checking

Authors: Yann Thierry-Mieg (SU, CNRS)

Comments: Extended Journal version of ICATPN 2020 paper published in Fundamenta Informaticae

Journal-ref: Fundamenta Informaticae, Volume 183, Issues 3-4: Petri Nets 2020 (December 23, 2021) fi:7334

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

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

Title: Global Guidance for Local Generalization in Model Checking

Authors: Hari Govind V K, YuTing Chen, Sharon Shoham, Arie Gurfinkel

Comments: Published in CAV 2020

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

[43]  arXiv:2005.13710 (cross-list from cs.CC) [pdf, ps, other]

Title: From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata

Authors: Elisabet Burjons, Fabian Frei, Martin Raszyk

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

[44]  arXiv:2005.13971 (cross-list from cs.NE) [pdf, other]

Title: Separation of Memory and Processing in Dual Recurrent Neural Networks

Authors: Christian Oliva, Luis F. Lago-Fernández

Comments: 10 pages

Subjects: Neural and Evolutionary Computing (cs.NE); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Machine Learning (stat.ML)

[45]  arXiv:2005.01480 (cross-list from nlin.CG) [pdf, other]

Title: On patterns and dynamics of Rule 22 cellular automaton

Authors: Genaro J. Martinez, Andrew Adamatzky, Rolf Hoffmann, Dominique Deserable, Ivan Zelinka

Comments: 50 pages, 28 figures, 7 tables

Journal-ref: Complex Systems, Volume 28, Issue 2, 2019

Subjects: Cellular Automata and Lattice Gases (nlin.CG); Formal Languages and Automata Theory (cs.FL); Adaptation and Self-Organizing Systems (nlin.AO); Chaotic Dynamics (nlin.CD); Pattern Formation and Solitons (nlin.PS)

[46]  arXiv:2005.07325 (cross-list from quant-ph) [pdf, other]

Title: On the Origin of Quantum Uncertainty

Authors: Christoph Adami (Michigan State University)

Comments: 7 pages including an appendix. 5 figures

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

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

Title: A Frameless 2-Coloring of the Plane Lattice

Authors: Craig S. Kaplan, Jeffrey Shallit

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

[48]  arXiv:2005.12229 (cross-list from math.DS) [pdf, other]

Title: Symbolic coding of linear complexity for generic translations of the torus, using continued fractions

Authors: N. Pytheas Fogg, C. Noûs

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