On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata

Antonio Casares, Olivier Idir, Denis Kuperberg +2

We present a polynomial-time algorithm minimising the number of states of history-deterministic generalised coBüchi automata, building on the work of Abu Radi and Kupferman on coB…