Containment and equivalence of weighted automata: probabilistic and max-plus cases

DOI10.1007/978-3-030-40608-0_2zbMath1437.68093OpenAlexW3007324416MaRDI QIDQ782553

Laure Daviaud

Publication date: 27 July 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-40608-0_2

zbMATH Keywords

decidabilityweighted automataprobabilistic automataequivalence problemcontainment problemmax-plus automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Containment and equivalence of weighted automata: probabilistic and max-plus cases