Copertina

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Okudono, Takamasa, Waga, Masaki, Sekiyama, Taro, Hasuo, Ichiro
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Formal Languages and Automata Theory Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Parametric Timed Pattern Matching
di: Waga, Masaki, et al.
Pubblicazione: (2019)

Componentwise Automata Learning for System Integration (Extended Version)
di: Fujinami, Hiroya, et al.
Pubblicazione: (2025)

Active Learning of Symbolic Mealy Automata
di: Irie, Kengo, et al.
Pubblicazione: (2025)

A Variety of Request-Response Specifications
di: Aiba, Daichi, et al.
Pubblicazione: (2025)

Hyper pattern matching
di: Waga, Masaki, et al.
Pubblicazione: (2025)

SMT-Based Active Learning of Weighted Automata
di: Ferreira, Tiago, et al.
Pubblicazione: (2026)

Feasability of Learning Weighted Automata on a Semiring
di: Daviaud, Laure, et al.
Pubblicazione: (2023)

A Complexity Bound for Determinisation of Min-Plus Weighted Automata
di: Almagor, Shaull, et al.
Pubblicazione: (2026)

Reversible Weighted Automata over Finite Rings and Monoids with Commuting Idempotents
di: Kostolányi, Peter, et al.
Pubblicazione: (2026)

Model-bounded monitoring of hybrid systems
di: Waga, Masaki, et al.
Pubblicazione: (2021)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
di: Tsai, Yun Chen, et al.
Pubblicazione: (2025)

Learning Weighted Automata over Number Rings, Concretely and Categorically
di: Aristote, Quentin, et al.
Pubblicazione: (2025)

Partial Answer of How Transformers Learn Automata
di: Zhang, Tiantian
Pubblicazione: (2025)

Hyper parametric timed CTL
di: Waga, Masaki, et al.
Pubblicazione: (2024)

Optimal Approximate Minimization of One-Letter Weighted Finite Automata
di: Lacroce, Clara, et al.
Pubblicazione: (2023)

Active Learning of Symbolic Automata Over Rational Numbers
di: Hagedorn, Sebastian, et al.
Pubblicazione: (2025)

Warm Starting State-Space Models with Automata Learning
di: Fishell, William, et al.
Pubblicazione: (2026)

Explicit Hopcroft's Trick in Categorical Partition Refinement
di: Sanada, Takahiro, et al.
Pubblicazione: (2023)

A Detailed Account of Compositional Automata Learning through Alphabet Refinement
di: Henry, Leo, et al.
Pubblicazione: (2025)

Localising Stochasticity in Weighted Automata
di: Agarwal, Smayan, et al.
Pubblicazione: (2026)

Determinization of Min-Plus Weighted Automata is Decidable
di: Almagor, Shaull, et al.
Pubblicazione: (2025)

Finite Automata for Efficient Graph Recognition
di: Drewes, Frank, et al.
Pubblicazione: (2024)

Repetitive Finite Automata With Translucent Letters
di: Mráz, František, et al.
Pubblicazione: (2024)

The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
di: Daviaud, Laure, et al.
Pubblicazione: (2023)

A Constructive Framework for Nondeterministic Automata via Time-Shared, Depth-Unrolled Feedforward Networks
di: Dhayalkar, Sahil Rajesh
Pubblicazione: (2025)

Descriptional Complexity of Finite Automata -- Selected Highlights
di: Salomaa, Arto, et al.
Pubblicazione: (2023)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
di: Mazowiecki, Filip, et al.
Pubblicazione: (2025)

Weighted Automata and Regular Expressions for Financial Systems
di: Droste, Manfred, et al.
Pubblicazione: (2026)

Measure Many Quantum Finite Automata on Infinite Words
di: Midya, Abhisek, et al.
Pubblicazione: (2026)

Weighted Tree Automata -- May it be a little more?
di: Fülöp, Zoltán, et al.
Pubblicazione: (2022)

Learning Deterministic Finite-State Machines from the Prefixes of a Single String is NP-Complete
di: Dumitru, Radu Cosmin, et al.
Pubblicazione: (2026)

Finite Sentence-Interface Control for Learning Bounded-Fan-Out Linear MCFGs under Fixed Monoid Typing
di: Kuriyama, Takayuki
Pubblicazione: (2026)

Extracting Robust Register Automata from Neural Networks over Data Sequences
di: Hong, Chih-Duo, et al.
Pubblicazione: (2025)

Mata, a Fast and Simple Finite Automata Library (Technical Report)
di: Chocholatý, David, et al.
Pubblicazione: (2023)

Minimizing Cost Register Automata over a Field
di: Benalioua, Yahia Idriss, et al.
Pubblicazione: (2023)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
di: Chen, Zeyu, et al.
Pubblicazione: (2026)

Generalised Arc Consistency via the Synchronised Product of Finite Automata wrt a Constraint
di: Beldiceanu, Nicolas
Pubblicazione: (2025)

Mathematical Approach in Automata and Automata Association
di: Maciel, Sergio Henrique
Pubblicazione: (2020)

Query Learning of Advice and Nominal Automata
di: Zhou, Kevin
Pubblicazione: (2024)

Learning Event-recording Automata Passively
di: Majumdar, Anirban, et al.
Pubblicazione: (2025)