Aditya Prakash
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On the minimisation of deterministic and history-deterministic generalised (co)Büchi automata | 2026-06-09 | Paper |
| History-determinism vs fair simulation | 2026-02-10 | Paper |
| Lookahead games and efficient determinisation of history-deterministic Büchi automata | 2026-01-14 | Paper |
| A construction of a two-dimensional zero correlation zone array set based on generalized Boolean functions Advances in Mathematics of Communications | 2025-07-25 | Paper |
| Checking history-determinism is NP-hard for parity automata | 2024-10-30 | Paper |
| On history-deterministic one-counter nets Lecture Notes in Computer Science | 2023-11-24 | Paper |
Research outcomes over time
This page was built for person: Aditya Prakash
