Aditya Prakash

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 8

Top Topics

Computationally Challenging

Finite Automata

Historical Information

Top Venues

Publications

Rohan Acharya, Marcin Jurdzinski, Aditya Prakash
Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata. CoRR (2024)
Aditya Prakash
Checking History-Determinism is NP-hard for Parity Automata. FoSSaCS (1) (2024)
Rohan Acharya, Marcin Jurdzinski, Aditya Prakash
Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata. ICALP (2024)
Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash
History-Determinism vs Fair Simulation. CONCUR (2024)
Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash
On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata. CoRR (2024)
Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash
History-Determinism vs Fair Simulation. CoRR (2024)
Aditya Prakash, K. S. Thejaswini
On History-Deterministic One-Counter Nets. FoSSaCS (2023)
Aditya Prakash, K. S. Thejaswini
On History-Deterministic One-Counter Nets. CoRR (2022)