Formal Languages and Automata Theory

Authors and titles for November 2022

[26] arXiv:2211.13626 (cross-list from cs.GT) [pdf, other]

Title: Bidding Graph Games with Partially-Observable Budgets

Guy Avni, Ismael Jecker, Djordje Zikelic

Comments: The full version of a paper published at AAAI 23

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

[27] arXiv:2211.14233 (cross-list from cs.CR) [pdf, other]

Title: strategFTO: Untimed control for timed opacity

Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho

Comments: This work is partially supported by the ANR-NRF French-Singaporean research program ProMiS (ANR-19-CE25-0015 / 2019 ANR NRF 0092) and the ANR research program BisoUS. Experiments presented in this paper were carried out using the Grid'5000 testbed, supported by a scientific interest group hosted by Inria and including CNRS, RENATER and several universities as well as other organizations

Journal-ref: Proceedings of the 8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022)

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

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

Title: Exploring the Long-Term Generalization of Counting Behavior in RNNs

Nadine El-Naggar, Pranava Madhyastha, Tillman Weyde

Comments: Published in I Can't Believe It's Not Better: Understanding Deep Learning Through Empirical Falsification Workshop at NeurIPS 2022

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

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

Title: A Finite Axiomatisation of Finite-State Automata Using String Diagrams

Robin Piedeleu, Fabio Zanasi

Comments: arXiv admin note: text overlap with arXiv:2009.14576

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 1 (February 15, 2023) lmcs:10400

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