Javier Borquez

This work introduces a principled solution based on a one-step expanded BRT that predicts all states capable of reaching the true BRT within a single timestep and formulate this expanded set as a modified reachability problem and compute it using standard continuous-time solvers.