Formal Languages and Automata Theory

Authors and titles for recent submissions

[ total of 13 entries: 1-12 | 13 ]
[ showing 12 entries per page: fewer | more | all ]

[1] arXiv:2405.10296 [pdf, other]: Title: Verifying Unboundedness via Amalgamation

Authors: Ashwani Anand, Sylvain Schmitz, Lia Schütze, Georg Zetzsche

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

[2] arXiv:2405.09396 [pdf, ps, other]: Title: $O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof

Authors: Marco B. Caminati

Comments: dlt 2024

Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Logic (math.LO)
[3] arXiv:2405.09208 [pdf, other]: Title: Extended time Petri nets

Authors: Marcin Radom, Piotr Formanowicz

Subjects: Formal Languages and Automata Theory (cs.FL)
[4] arXiv:2405.09183 [pdf, other]: Title: A Formal Approach for Tuning Stochastic Oscillators

Authors: Paolo Ballarini (MICS), Mahmoud Bentriou, Paul-Henry Cournède

Journal-ref: Computational Methods in Systems Biology, Sep 2023, Luxembourg, Luxembourg. pp.1-17

Subjects: Formal Languages and Automata Theory (cs.FL)
[5] arXiv:2405.08988 [pdf, other]: Title: Containment Problem for Deterministic Multicounter Machine Models

Authors: Oscar H. Ibarra, Ian McQuillan

Comments: 24 pages,2 figures

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

[6] arXiv:2405.08171 [pdf, ps, other]: Title: Finite-valued Streaming String Transducers

Authors: Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter

Subjects: Formal Languages and Automata Theory (cs.FL)
[7] arXiv:2405.08645 (cross-list from cs.LG) [pdf, other]: Title: Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation

Authors: Boqi Chen, Kristóf Marussy, Oszkár Semeráth, Gunter Mussbacher, Dániel Varró

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

[8] arXiv:2405.07975 [pdf, other]: Title: Dynamic Programming for Symbolic Boolean Realizability and Synthesis

Authors: Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi

Comments: 33 pages including the Appendix and bibliography, 5 figures, paper is to be published in CAV 2024, but this version is inclusive of the Appendix

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[9] arXiv:2405.07911 [pdf, other]: Title: Slice closures of indexed languages and word equations with counting constraints

Authors: Laura Ciobanu, Georg Zetzsche

Comments: 12 pages, accepted for publication at LICS 2024

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Group Theory (math.GR)
[10] arXiv:2405.07671 [pdf, other]: Title: Constructing a BPE Tokenization DFA

Authors: Martin Berglund, Willeke Martens, Brink van der Merwe

Subjects: Formal Languages and Automata Theory (cs.FL); Computation and Language (cs.CL); Machine Learning (cs.LG)
[11] arXiv:2405.07505 (cross-list from cs.LO) [pdf, ps, other]: Title: A cyclic proof system for Guarded Kleene Algebra with Tests (full version)

Authors: Jan Rooduijn, Dexter Kozen, Alexandra Silva

Comments: Full version of paper accepted at IJCAR 2024

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

[12] arXiv:2405.06387 [pdf, other]: Title: Scalable Computation of Inter-Core Bounds Through Exact Abstractions

Authors: Mohammed Aristide Foughali, Marius Mikučionis, Maryline Zhang

Comments: To appear in the proceedings of the 48th IEEE International Conference on Computers, Software, and Applications (COMPSAC 2024)

Subjects: Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC)

[ total of 13 entries: 1-12 | 13 ]
[ showing 12 entries per page: fewer | more | all ]