Aditya Prakash

15 papers A* 2B 4Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
History-Deterministic Büchi Automata are Succinct.
CoRR
Antonio Casares, Aditya Prakash, K. S. Thejaswini
2025 B conf
On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata.
CSL
Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash
2025 B conf
Resolving Nondeterminism with Randomness.
MFCS
Thomas A. Henzinger, Aditya Prakash, K. S. Thejaswini
2025 J jnl
Resolving Nondeterminism with Randomness.
CoRR
Thomas A. Henzinger, Aditya Prakash, K. S. Thejaswini
2025 A* conf
The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently.
STOC
Karoliina Lehtinen, Aditya Prakash
2025 J jnl
The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently.
CoRR
Karoliina Lehtinen, Aditya Prakash
2024 — conf
Checking History-Determinism is NP-hard for Parity Automata.
FoSSaCS (1)
Aditya Prakash
2024 B conf
History-Determinism vs Fair Simulation.
CONCUR
Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash
2024 J jnl
History-Determinism vs Fair Simulation.
CoRR
Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash
2024 A* conf
Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata.
ICALP
Rohan Acharya, Marcin Jurdzinski, Aditya Prakash
2024 J jnl
Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata.
CoRR
Rohan Acharya, Marcin Jurdzinski, Aditya Prakash
2024 J jnl
On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata.
CoRR
Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash
2023 J jnl
Checking History-Determinism is NP-hard for Parity Automata.
CoRR
Aditya Prakash
2023 B conf
On History-Deterministic One-Counter Nets.
FoSSaCS
Aditya Prakash, K. S. Thejaswini
2022 J jnl
On History-Deterministic One-Counter Nets.
CoRR
Aditya Prakash, K. S. Thejaswini