pith. sign in

Denis Kuperberg

Identifiers

  • name variant Denis Kuperberg 0.60 · backfill

Papers (3)

  1. On the Minimisation of Deterministic and History-Deterministic Generalised (co)B\"uchi Automata cs.FL · 2024 · author #3
  2. Trading Bounds for Memory in Games with Counters cs.FL · 2017 · author #3
  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