Integer Reset Timed Automata: Clock Reduction and Determinizability

Lakshmi Manasa, Krishna. S

In this paper, we propose a procedure that given an integer reset timed automaton (IRTA) $\mathcal{A}$, produces a language equivalent deterministic one clock IRTA $\mathcal{B}$ whose si…