Denis Kuperberg
Identifiers
- name variant Denis Kuperberg 0.60 · backfill
Papers (3)
- On the Minimisation of Deterministic and History-Deterministic Generalised (co)B\"uchi Automata cs.FL · 2024 · author #3
- Trading Bounds for Memory in Games with Counters cs.FL · 2017 · author #3
- Linear Temporal Logic for Regular Cost Functions cs.LO · 2014 · author #1
Mentions
- 1401.1448 #1 · backfill · confidence 0.70 Denis Kuperberg
- 2407.18090 #3 · arxiv_oai · confidence 0.70 Denis Kuperberg
Frequent Coauthors
- Antonio Casares 1 shared papers
- Corto Mascle 1 shared papers
- Florian Horn 1 shared papers
- Keya Prakash 1 shared papers
- Micha{\l} Skrzypczak 1 shared papers
- Nathana\"el Fijalkow 1 shared papers
- Olivier Idir 1 shared papers