2024

Jul 13, 2024

24.18 Lower bounds for determinizability of weighted automata over \(\mathbb Q\)

2022

Sep 16, 2022

22.5 Decidability of $(\min,+)$-weighted automata determinization

2019

Jul 19, 2019

19.13 Does a $(\textsf{min,+})$-WA preserve REG by inverse image?

Jul 19, 2019

19.1 Deciding upperboundedness of \(\bbZ\)-CCRA