Determinization of Min-Plus Weighted Automata is Decidable. - Shaull Almagor; Guy Arbel; Sarai Sheinvald (CoRR, 2025)