4 citations · 4 across the 1 of their papers we have counts for
1 paper
Ievgen Ivanov
We consider the problem of proving that each point in a given set of states ("target set") can indeed be reached by a given nondeterministic continuous-time dynamical system from s…