51 citations · 366 across the 55 of their papers we have counts for
1 paper · 2 filters
Maria Svorenova, Jan Kretinsky, Martin Chmelik +3
We consider the problem of computing the set of initial states of a dynamical system such that there exists a control strategy to ensure that the trajectories satisfy a temporal lo…