Nondeterminism subject to output commitment in combinatorial filters

Yulin Zhang, Dylan A. Shell

We study a class of filters -- discrete finite-state transition systems employed as incremental stream transducers -- that have application to robotics: e.g., to model combinatoria…