TY  - RPRT
TI  - History-Deterministic Büchi Automata are Succinct
AU  - Antonio Casares
AU  - Keya Prakash
AU  - K. S. Thejaswini
PY  - 2026
UR  - https://arxiv.org/abs/2603.05380
ID  - 2603.05380
ER  -