Skip to main content

stl_eventually_reach_robustness

Function stl_eventually_reach_robustness 

Source
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.