Liveness of Parameterized Timed Networks

Benjamin Aminof, Sasha Rubin, Francesco Spegni +1

We consider the model checking problem of infinite state systems given in the form of parameterized discrete timed networks with multiple clocks. We show that this problem is decid…