Image de couverture de livre

Active Learning of Symbolic Mealy Automata

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Irie, Kengo, Waga, Masaki, Suenaga, Kohei
Format:	Preprint
Publié:	2025
Sujets:	Formal Languages and Automata Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Componentwise Automata Learning for System Integration (Extended Version)
par: Fujinami, Hiroya, et autres
Publié: (2025)

Hyper pattern matching
par: Waga, Masaki, et autres
Publié: (2025)

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination
par: Okudono, Takamasa, et autres
Publié: (2024)

Parametric Timed Pattern Matching
par: Waga, Masaki, et autres
Publié: (2019)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
par: Waga, Masaki, et autres
Publié: (2024)

Hyper parametric timed CTL
par: Waga, Masaki, et autres
Publié: (2024)

Active Learning of Symbolic Automata Over Rational Numbers
par: Hagedorn, Sebastian, et autres
Publié: (2025)

A Variety of Request-Response Specifications
par: Aiba, Daichi, et autres
Publié: (2025)

Mathematical Approach in Automata and Automata Association
par: Maciel, Sergio Henrique
Publié: (2020)

Learning Event-recording Automata Passively
par: Majumdar, Anirban, et autres
Publié: (2025)

Query Learning of Advice and Nominal Automata
par: Zhou, Kevin
Publié: (2024)

Efficient Learning of Weak Deterministic Büchi Automata
par: Alluwayma, Mona, et autres
Publié: (2025)

Scalable Tree-based Register Automata Learning
par: Dierl, Simon, et autres
Publié: (2024)

Learning Deterministic Multi-Clock Timed Automata
par: Teng, Yu, et autres
Publié: (2024)

Greybox Learning of Languages Recognizable by Event-Recording Automata
par: Majumdar, Anirban, et autres
Publié: (2024)

Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
par: Stan, Daniel, et autres
Publié: (2026)

SMT-Based Active Learning of Weighted Automata
par: Ferreira, Tiago, et autres
Publié: (2026)

Quantitative Language Automata
par: Henzinger, Thomas A., et autres
Publié: (2025)

Asynchronism in Cellular Automata
par: Gautam, Virendra Kumar
Publié: (2025)

On Shuffling and Splitting Automata
par: Cunningham, Ignacio Mollo
Publié: (2024)

Explorable Parity Automata
par: Hazard, Emile, et autres
Publié: (2024)

Automata on Graph Alphabets
par: Bazille, Hugo, et autres
Publié: (2026)

Passive Learning of Lattice Automata from Recurrent Neural Networks
par: Slimi, Jaouhar, et autres
Publié: (2025)

Learning Weighted Automata over Number Rings, Concretely and Categorically
par: Aristote, Quentin, et autres
Publié: (2025)

Inferring Symbolic Automata
par: Fisman, Dana, et autres
Publié: (2021)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
par: Mazowiecki, Filip, et autres
Publié: (2025)

Saturation Problems for Families of Automata
par: Bohn, León, et autres
Publié: (2025)

Localising Stochasticity in Weighted Automata
par: Agarwal, Smayan, et autres
Publié: (2026)

History-deterministic Parikh Automata
par: Erlich, Enzo, et autres
Publié: (2022)

Nominal Automata with Name Deallocation
par: Prucker, Simon, et autres
Publié: (2026)

Determinism in Multi-Soliton Automata
par: Bordihn, Henning, et autres
Publié: (2024)

Simulations for Event-Clock Automata
par: Akshay, S, et autres
Publié: (2022)

Universality Frontier for Asynchronous Cellular Automata
par: Baburin, Ivan, et autres
Publié: (2025)

Automata for the commutative closure of regular sets
par: Becher, Verónica, et autres
Publié: (2025)

A Unifying Approach to Picture Automata
par: Meeres, Yvo Ad, et autres
Publié: (2025)

Finite Automata for Efficient Graph Recognition
par: Drewes, Frank, et autres
Publié: (2024)

History-Deterministic Büchi Automata are Succinct
par: Casares, Antonio, et autres
Publié: (2026)

Simulation Limitations of Affine Cellular Automata
par: Hudcová, Barbora, et autres
Publié: (2023)

QuAK: Quantitative Automata Kit
par: Chalupa, Marek, et autres
Publié: (2024)

Safety and Liveness of Quantitative Properties and Automata
par: Boker, Udi, et autres
Publié: (2023)