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)