Buchumschlag

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yalcinkaya, Beyazit, Lauffer, Niklas, Vazquez-Chanlatte, Marcell, Seshia, Sanjit A.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Artificial Intelligence Computation and Language Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
von: Yalcinkaya, Beyazit, et al.
Veröffentlicht: (2024)

Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning
von: Yalcinkaya, Beyazit, et al.
Veröffentlicht: (2025)

$L^*LM$: Learning Automata from Examples using Natural Language Oracles
von: Vazquez-Chanlatte, Marcell, et al.
Veröffentlicht: (2024)

Learning Formal Specifications from Membership and Preference Queries
von: Shah, Ameesh, et al.
Veröffentlicht: (2023)

Automata Extraction from Transformers
von: Zhang, Yihao, et al.
Veröffentlicht: (2024)

Extracting Robust Register Automata from Neural Networks over Data Sequences
von: Hong, Chih-Duo, et al.
Veröffentlicht: (2025)

Inference of Deterministic Finite Automata via Q-Learning
von: Hosseinkhani, Elaheh, et al.
Veröffentlicht: (2025)

Congruence-based Learning of Probabilistic Deterministic Finite Automata
von: Carrasco, Matías, et al.
Veröffentlicht: (2024)

SMT-Based Active Learning of Weighted Automata
von: Ferreira, Tiago, et al.
Veröffentlicht: (2026)

Partial Answer of How Transformers Learn Automata
von: Zhang, Tiantian
Veröffentlicht: (2025)

Active Learning of Symbolic Automata Over Rational Numbers
von: Hagedorn, Sebastian, et al.
Veröffentlicht: (2025)

Warm Starting State-Space Models with Automata Learning
von: Fishell, William, et al.
Veröffentlicht: (2026)

Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons
von: Rahmani, Hazhar, et al.
Veröffentlicht: (2025)

A Detailed Account of Compositional Automata Learning through Alphabet Refinement
von: Henry, Leo, et al.
Veröffentlicht: (2025)

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination
von: Okudono, Takamasa, et al.
Veröffentlicht: (2024)

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

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

Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AI
von: Koohestani, Roham, et al.
Veröffentlicht: (2025)

Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability
von: Dhayalkar, Sahil Rajesh
Veröffentlicht: (2026)

A Constructive Framework for Nondeterministic Automata via Time-Shared, Depth-Unrolled Feedforward Networks
von: Dhayalkar, Sahil Rajesh
Veröffentlicht: (2025)

Learning Event-recording Automata Passively
von: Majumdar, Anirban, 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)

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)

Optimal Approximate Minimization of One-Letter Weighted Finite Automata
von: Lacroce, Clara, et al.
Veröffentlicht: (2023)

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

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

Learning Deterministic Multi-Clock Timed Automata
von: Teng, Yu, et al.
Veröffentlicht: (2024)

Efficient Learning of Weak Deterministic Büchi Automata
von: Alluwayma, Mona, et al.
Veröffentlicht: (2025)

Learning Elementary Cellular Automata with Transformers
von: Burtsev, Mikhail
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)