On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Bchi Automata.

Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash

Browse the full CSL paper archive.