27 citations · 69 across the 15 of their papers we have counts for
1 paper · 1 filter
Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen +1
An automaton is history-deterministic if its nondeterminism can be resolved on the fly, only using the prefix of the word read so far. This mild form of nondeterminism has attracte…