In particular, mwt(s0 ux2mM0x2m −−−−−−−−→q)<∞

Since q∈S′ 2 = δB(s0,ux 2mM0) then by Item 2 above we haveq∈δB(s0,ux 2mM0x2m)

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.FL · 2026-02-01 · unverdicted · novelty 8.0

Determinisation of min-plus weighted automata lies in the fast-growing hierarchy.

Showing 1 of 1 citing paper.

A Complexity Bound for Determinisation of Min-Plus Weighted Automata cs.FL · 2026-02-01 · unverdicted · none · ref 23
Determinisation of min-plus weighted automata lies in the fast-growing hierarchy.