Determinisability of register and timed automata

Lorenzo Clemente, Slawomir Lasota 0001, Radoslaw PiĆ³rkowski. Determinisability of register and timed automata. Logical Methods in Computer Science, 18(2), 2022. [doi]

Abstract

Abstract is missing.