35 citations · 151 across the 21 of their papers we have counts for
1 paper · 2 filters
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…