Cargando…
Learning Weighted Automata over Principal Ideal Domains
In this paper, we study active learning algorithms for weighted automata over a semiring. We show that a variant of Angluin’s seminal [Formula: see text] algorithm works when the semiring is a principal ideal domain, but not for general semirings such as the natural numbers.
Autores principales: | van Heerdt, Gerco, Kupke, Clemens, Rot, Jurriaan, Silva, Alexandra |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7788606/ http://dx.doi.org/10.1007/978-3-030-45231-5_31 |
Ejemplares similares
-
Learning Pomset Automata
por: van Heerdt, Gerco, et al.
Publicado: (2021) -
Handbook of weighted automata
por: Droste, Manfred, et al.
Publicado: (2009) -
Left principal ideal rings
por: Jategaonkar, A V
Publicado: (1970) -
Improving Symbolic Automata Learning with Concolic Execution
por: Clun, Donato, et al.
Publicado: (2020) -
Learning One-Clock Timed Automata
por: An, Jie, et al.
Publicado: (2020)