Skip to main content

stl_always_avoid_robustness

Function stl_always_avoid_robustness 

Source
pub fn stl_always_avoid_robustness(
    path: &StlCbsPath,
    region: StlRectangle2D,
    interval: StlTimeInterval,
) -> RoboticsResult<f64>
Expand description

Robustness of G_[interval] outside(region) for one path.