Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata.

Frantisek Mrz, Friedrich Otto, Martin Pltek

Browse the full MCU paper archive.