bibliographer - Aditya Prakash

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

History-Deterministic Buchi Automata are Succinct Antonio Casares Aditya Prakash K.~S. Thejaswini [github]

The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently Karoliina Lehtinen Aditya Prakash [github]

Resolving Nondeterminism with Randomness Thomas A. Henzinger Aditya Prakash K. S. Thejaswini [github]

History-Deterministic Parity Automata: Games, Complexity, and the 2-Token Theorem Aditya Prakash [github]

On the Minimisation of Deterministic and History-Deterministic Generalised (co)Buchi Automata Antonio Casares Olivier Idir Denis Kuperberg Corto Mascle Aditya Prakash [github]

History-Determinism vs Fair Simulation Udi Boker Thomas A. Henzinger Karoliina Lehtinen Aditya Prakash [github]

Lookahead Games and Efficient Determinisation of History-Deterministic Buchi Automata Rohan Acharya Marcin Jurdziński Aditya Prakash [github]

Lookahead Games and Efficient Determinisation of History-Deterministic Btextbackslash''uchi Automata Rohan Acharya Marcin Jurdziński Aditya Prakash [github]

Checking History-Determinism is NP-hard for Parity Automata Aditya Prakash [github]

On History-Deterministic One-Counter Nets Aditya Prakash K. S. Thejaswini [github]

Library Size: 13G (10 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]