pub fn stl_eventually_reach_robustness(
path: &StlCbsPath,
region: StlRectangle2D,
interval: StlTimeInterval,
) -> RoboticsResult<f64>Expand description
Robustness of F_[interval] inside(region) for one path.
pub fn stl_eventually_reach_robustness(
path: &StlCbsPath,
region: StlRectangle2D,
interval: StlTimeInterval,
) -> RoboticsResult<f64>Robustness of F_[interval] inside(region) for one path.