NoPE: The Counting Power of Transformers with No Positional Encodings

Authors: Köcher, Chris, Kozachinskiy, Alexander, Lin, Anthony Widjaja, Sälzer, Marco, Zetzsche, Georg

Subject Terms: Computer Science - Computation and Language, Computer Science - Formal Languages and Automata Theory, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2505.11199

Inquisitive Team Semantics of LTL

Authors: Bozzelli, Laura, Litak, Tadeusz, Mittelmann, Munyque, Murano, Aniello

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, F.4.1

Access URL: http://arxiv.org/abs/2505.10700

B\'uchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata

Authors: Amrane, Amazigh, Bazille, Hugo, Clement, Emily, Fahrenberg, Uli, Fortin, Marie, Ziemiański, Krzysztof

Subject Terms: Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2505.10461

Deconstructing Subset Construction -- Reducing While Determinizing

Authors: Nicol, John, Frohme, Markus

Subject Terms: Computer Science - Formal Languages and Automata Theory, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2505.10319

An algebraic theory of {\omega}-regular languages, via {\mu}{\nu}-expressions

Authors: Das, Anupam, De, Abhishek

Subject Terms: Mathematics - Logic, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2505.10303

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification

Authors: Hong, Chih-Duo, Lin, Anthony W., Rümmer, Philipp, Majumdar, Rupak

Subject Terms: Computer Science - Software Engineering, Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2505.09963

Characterization and Decidability of FC-Definable Regular Languages

Authors: Thompson, Sam M., Schweikardt, Nicole, Freydenberger, Dominik D.

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2505.09772

Deterministic Suffix-reading Automata

Authors: Keerthan, R, Srivathsan, B, Venkatesh, R, Verma, Sagar

Subject Terms: Computer Science - Formal Languages and Automata Theory, 68Q45, F.1.1

Access URL: http://arxiv.org/abs/2505.09353

Privacy-Preserving Runtime Verification

Authors: Henzinger, Thomas A., Karimi, Mahyar, Thejaswini, K. S.

Subject Terms: Computer Science - Cryptography and Security, Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2505.09276

FocusE: A semantic extension of FocusST

Authors: Spichkova, Maria

Subject Terms: Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2505.09032

Cyclic system for an algebraic theory of alternating parity automata

Authors: Das, Anupam, De, Abhishek

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, Mathematics - Logic

Access URL: http://arxiv.org/abs/2505.09000

The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games

Authors: Bhaduri, Purandar

Subject Terms: Computer Science - Computer Science and Game Theory, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, Computer Science - Multiagent Systems

Access URL: http://arxiv.org/abs/2505.07501

Lost in Transmission: When and Why LLMs Fail to Reason Globally

Authors: Schnabel, Tobias, Tomlinson, Kiran, Swaminathan, Adith, Neville, Jennifer

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Formal Languages and Automata Theory, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2505.08140

Reflexive Composition of Elementary State Machines, with an Application to the Reversal of Cellular Automata Rule 90

Authors: Salzberg, Chris, Sayama, Hiroki

Subject Terms: Computer Science - Discrete Mathematics, Computer Science - Formal Languages and Automata Theory, Nonlinear Sciences - Cellular Automata and Lattice Gases

Access URL: http://arxiv.org/abs/2505.07186

Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars

Authors: Iosif, Radu, Sangnier, Arnaud, Villani, Neven

Subject Terms: Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2505.01269

A SCADE Model Verification Method Based on B-Model Transformation

Authors: Hou, Xili, Wang, Keming, Zhao, Huibing, Shi, Ruiyin

Subject Terms: Computer Science - Software Engineering, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2505.00967

Learning Neural Control Barrier Functions from Offline Data with Conservatism

Authors: Tabbara, Ihab, Sibai, Hussein

Subject Terms: Computer Science - Machine Learning, Computer Science - Formal Languages and Automata Theory, Computer Science - Robotics, Electrical Engineering and Systems Science - Systems and Control

Access URL: http://arxiv.org/abs/2505.00908

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching

Authors: Meng, Yue, Fan, Chuchu

Subject Terms: Computer Science - Robotics, Computer Science - Artificial Intelligence, Computer Science - Formal Languages and Automata Theory, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2505.00562

Statistical process discovery

Authors: Cry, Pierre, Ballarini, Paolo, Horváth, András, Gall, Pascale Le

Subject Terms: Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2504.21390

Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic

Authors: Yuasa, Mikihisa, Sreenivas, Ramavarapu S., Tran, Huy T.

Subject Terms: Computer Science - Robotics, Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2504.21841