Reducing Clocks in Timed Automata while Preserving Bisimulation

Shibashis Guha, Chinmay Narayan, S. Arun-Kumar

Model checking timed automata becomes increasingly complex with the increase in the number of clocks. Hence it is desirable that one constructs an automaton with the minimum number…