History-determinism

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