Lookahead Games and Efficient Determinisation of History-Deterministic Bchi Automata.

Rohan Acharya, Marcin Jurdzinski, Aditya Prakash

Browse the full ICALP paper archive.