On Delay and Regret Determinization of Max-Plus Automata

Emmanuel Filiot, Ismaël Jecker, Nathan Lhote +2

Decidability of the determinization problem for weighted automata over the semiring $(\mathbb{Z}\cup -\infty ,\max ,+)$, WA for short, is a long-standing open question. We propo…