Keya Prakash

Identifiers

• name variant Keya Prakash 0.60 · backfill

Papers (9)

1. History-Deterministic B\"uchi Automata are Succinct cs.FL · 2026 · author #2
2. The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently cs.FL · 2025 · author #2
3. Resolving Nondeterminism with Randomness cs.FL · 2025 · author #2
4. History-Deterministic Parity Automata: Games, Complexity, and the 2-Token Theorem cs.FL · 2025 · author #1
5. On the Minimisation of Deterministic and History-Deterministic Generalised (co)B\"uchi Automata cs.FL · 2024 · author #5
6. History-Determinism vs Fair Simulation cs.FL · 2024 · author #4
7. Lookahead Games and Efficient Determinisation of History-Deterministic B\"uchi Automata cs.FL · 2024 · author #3
8. Checking History-Determinism is NP-hard for Parity Automata cs.FL · 2023 · author #1
9. On History-Deterministic One-Counter Nets cs.FL · 2022 · author #1

Mentions

• 2502.12872 #2 · arxiv_oai · confidence 0.70 Keya Prakash
• 2603.05380 #2 · arxiv_oai · confidence 0.70 Keya Prakash
• 2503.24244 #2 · arxiv_oai · confidence 0.70 Keya Prakash
• 2501.12302 #1 · arxiv_oai · confidence 0.70 Keya Prakash
• 2407.18090 #5 · arxiv_oai · confidence 0.70 Keya Prakash
• 2407.08620 #4 · arxiv_oai · confidence 0.70 Keya Prakash
• 2404.17530 #3 · arxiv_oai · confidence 0.70 Keya Prakash
• 2310.13498 #1 · arxiv_oai · confidence 0.70 Keya Prakash
• 2210.10084 #1 · arxiv_oai · confidence 0.70 Keya Prakash

Frequent Coauthors

• K. S. Thejaswini 3 shared papers
• Antonio Casares 2 shared papers
• Karoliina Lehtinen 2 shared papers
• Thomas A. Henzinger 2 shared papers
• Corto Mascle 1 shared papers
• Denis Kuperberg 1 shared papers
• Marcin Jurdzi\'nski 1 shared papers
• Olivier Idir 1 shared papers
• Rohan Acharya 1 shared papers
• Udi Boker 1 shared papers