Improving search order for reachability testing in timed automata

Frédéric Herbreteau, Thanh-Tung Tran

Standard algorithms for reachability analysis of timed automata are sensitive to the order in which the transitions of the automata are taken. To tackle this problem, we propose a…