Cargando…
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata
Probabilistic Büchi automata are a natural generalization of PFA to infinite words, but have been studied in-depth only rather recently and many interesting questions are still open. PBA are known to accept, in general, a class of languages that goes beyond the regular languages. In this work we ext...
Autores principales: | Löding, Christof, Pirogov, Anton |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7788605/ http://dx.doi.org/10.1007/978-3-030-45231-5_27 |
Ejemplares similares
-
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization
por: Blahoudek, František, et al.
Publicado: (2020) -
On the Expressiveness of Büchi Arithmetic
por: Haase, Christoph, et al.
Publicado: (2021) -
Buchi neri da laboratorio
por: Siniscalchi, Giovanni
Publicado: (2006) -
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
por: Hahn, Ernst Moritz, et al.
Publicado: (2020) -
Probabilistic Deterministic Finite Automata and Recurrent Networks, Revisited
por: Marzen, Sarah E., et al.
Publicado: (2022)