Publications
My publications are listed below1, in reverse chronological order.
- Checking History Determinism for Parity Automata is in NP, with Karoliina Lehtinen and Michał Skrzypczak, LICS 2026
- Resolving Nondeterminism with Randomness, with Tom A. Henzinger and K. S. Thejaswini, MFCS 2025
- The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently, with Karoliina Lehtinen, STOC 2025
- On the Minimisation of (History-)Deterministic Generalised (Co)Büchi Automata, with Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, CSL 2025
- History-Determinism v/s Fair Simulation, with Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, CONCUR 2024
- Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata, with Rohan Acharya and Marcin Jurdziński, ICALP 2024
- Checking History-Determinism is NP-hard for Parity Automata, FoSSaCS 2024
- On History-Deterministic One-Counter Nets, with K. S. Thejaswini, FoSSaCS 2023