@misc{indiciaebf7261703a96, title = {Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata}, author = {Rohan Acharya and Marcin Jurdziński and Keya Prakash}, year = {2024}, url = {https://arxiv.org/abs/2404.17530}, note = {Source identifier: 2404.17530} }