TY  - RPRT
TI  - On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata
AU  - Antonio Casares
AU  - Olivier Idir
AU  - Denis Kuperberg
AU  - Corto Mascle
AU  - Keya Prakash
PY  - 2024
UR  - https://arxiv.org/abs/2407.18090
ID  - 2407.18090
ER  -