Monotone Deterministic RL-Automata Don't Need Auxiliary Symbols.

Tomasz Jurdzinski, Frantisek Mrz, Friedrich Otto, Martin Pltek

Browse the full DLT paper archive.