Good-for-Gameness

History-deterministic register automata form a promising class for synthesis and runtime verification applications.