Revisiting local time semantics for networks of timed automata

R. Govind, Frédéric Herbreteau, B. Srivathsan +1

We investigate a zone based approach for the reachability problem in timed automata. The challenge is to alleviate the size explosion of the search space when considering networks…