4 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
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…