From Equivalence to Almost-Equivalence, and Beyond - Minimizing Automata with Errors - (Extended Abstract).

Markus Holzer, Sebastian Jakobi

Browse the full DLT paper archive.