1 paper
Ilaria Xausa, Robert Baier, Olivier Bokanowski +1
We consider the problem of computing safety regions, modeled as nonconvex backward reachable sets, for a nonlinear car collision avoidance model with time-dependent obstacles. The…