Buchumschlag

Extracting Robust Register Automata from Neural Networks over Data Sequences

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hong, Chih-Duo, Jiang, Hongjian, Lin, Anthony W., Markgraf, Oliver, Parsert, Julian, Tan, Tony
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Formal Languages and Automata Theory Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report)
von: Jiang, Hongjian, et al.
Veröffentlicht: (2025)

Minimizing Cost Register Automata over a Field
von: Benalioua, Yahia Idriss, et al.
Veröffentlicht: (2023)

Hyper-Minimization for Deterministic Register Automata
von: Li, Yong, et al.
Veröffentlicht: (2026)

Scalable Tree-based Register Automata Learning
von: Dierl, Simon, et al.
Veröffentlicht: (2024)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
von: Mazowiecki, Filip, et al.
Veröffentlicht: (2025)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
von: Hong, Chih-Duo, et al.
Veröffentlicht: (2025)

Passive Learning of Lattice Automata from Recurrent Neural Networks
von: Slimi, Jaouhar, et al.
Veröffentlicht: (2025)

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
von: Bergsträßer, Pascal, et al.
Veröffentlicht: (2024)

Learning Weighted Automata over Number Rings, Concretely and Categorically
von: Aristote, Quentin, et al.
Veröffentlicht: (2025)

Mathematical Approach in Automata and Automata Association
von: Maciel, Sergio Henrique
Veröffentlicht: (2020)

Reversible Weighted Automata over Finite Rings and Monoids with Commuting Idempotents
von: Kostolányi, Peter, et al.
Veröffentlicht: (2026)

On Shuffling and Splitting Automata
von: Cunningham, Ignacio Mollo
Veröffentlicht: (2024)

Explorable Parity Automata
von: Hazard, Emile, et al.
Veröffentlicht: (2024)

Automata on Graph Alphabets
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)

Quantitative Language Automata
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Asynchronism in Cellular Automata
von: Gautam, Virendra Kumar
Veröffentlicht: (2025)

Learning EFSM Models with Registers in Guards
von: Vega, Germán, et al.
Veröffentlicht: (2024)

Localising Stochasticity in Weighted Automata
von: Agarwal, Smayan, et al.
Veröffentlicht: (2026)

History-deterministic Parikh Automata
von: Erlich, Enzo, et al.
Veröffentlicht: (2022)

Saturation Problems for Families of Automata
von: Bohn, León, et al.
Veröffentlicht: (2025)

Nominal Automata with Name Deallocation
von: Prucker, Simon, et al.
Veröffentlicht: (2026)

Determinism in Multi-Soliton Automata
von: Bordihn, Henning, et al.
Veröffentlicht: (2024)

Simulations for Event-Clock Automata
von: Akshay, S, et al.
Veröffentlicht: (2022)

Unambiguisability and Register Minimisation of Min-Plus Models
von: Almagor, Shaull, et al.
Veröffentlicht: (2025)

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata
von: Takata, Yoshiaki, et al.
Veröffentlicht: (2024)

Finite Automata for Efficient Graph Recognition
von: Drewes, Frank, et al.
Veröffentlicht: (2024)

Universality Frontier for Asynchronous Cellular Automata
von: Baburin, Ivan, et al.
Veröffentlicht: (2025)

History-Deterministic Büchi Automata are Succinct
von: Casares, Antonio, et al.
Veröffentlicht: (2026)

Simulation Limitations of Affine Cellular Automata
von: Hudcová, Barbora, et al.
Veröffentlicht: (2023)

QuAK: Quantitative Automata Kit
von: Chalupa, Marek, et al.
Veröffentlicht: (2024)

Safety and Liveness of Quantitative Properties and Automata
von: Boker, Udi, et al.
Veröffentlicht: (2023)

Learning Event-recording Automata Passively
von: Majumdar, Anirban, et al.
Veröffentlicht: (2025)

Adding Reconfiguration to Zielonka's Asynchronous Automata
von: Lehaut, Mathieu, et al.
Veröffentlicht: (2023)

Classifying Words with 3-sort Automata
von: Jastrząb, Tomasz, et al.
Veröffentlicht: (2024)

Automata for the commutative closure of regular sets
von: Becher, Verónica, et al.
Veröffentlicht: (2025)

Corrections to A Menagerie of Timed Automata
von: Keiren, Jeroen J. A., et al.
Veröffentlicht: (2016)

A Unifying Approach to Picture Automata
von: Meeres, Yvo Ad, et al.
Veröffentlicht: (2025)

Query Learning of Advice and Nominal Automata
von: Zhou, Kevin
Veröffentlicht: (2024)

Active Learning of Symbolic Mealy Automata
von: Irie, Kengo, et al.
Veröffentlicht: (2025)

Global One-Counter Tree Automata
von: Herrmann, Luisa, et al.
Veröffentlicht: (2024)