Techniques for establishing the sufficiency of a path planner to avoid multiple obstacles in planning a path from a starting location to a destination location is presented. The techniques can include: iterating, until a stopping condition occurs: obtaining, from the path planner, a path from the starting location to the destination location; representing the path from the starting location to the destination location as a disjunction of logical terms; conjoining the disjunction of terms to a conjunction of terms representing previously considered paths; determining a satisfiability condition of the conjunction of terms; and for a positive satisfiability condition, adding at least one corresponding obstacle of the plurality of obstacles to the path planner; and providing an indication of sufficiency of the path planner to avoid the obstacles in planning a path from the starting location to the destination location based on the stopping condition.


    Access

    Download


    Export, share and cite



    Title :

    SAFETY ASSURANCE FOR PATH PLANNERS


    Contributors:

    Publication date :

    2023-03-23


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    English


    Classification :

    IPC:    G08G Anlagen zur Steuerung, Regelung oder Überwachung des Verkehrs , TRAFFIC CONTROL SYSTEMS



    SAFETY FILTER FOR MACHINE LEARNING PLANNERS

    TOMOV MOMCHIL / WOLFF ERIC / OMARI SAMMY | European Patent Office | 2023

    Free access

    SAFETY FILTER FOR MACHINE LEARNING PLANNERS

    TOMOV MOMCHIL / WOLFF ERIC / OMARI SAMMY | European Patent Office | 2023

    Free access

    Individual utility‐based path suggestions in transit trip planners

    Nuzzolo, Agostino / Comi, Antonio | Wiley | 2016

    Free access

    Individual utility-based path suggestions in transit trip planners

    Nuzzolo, Agostino / Comi, Antonio | IET | 2016

    Free access

    Transit Trip Planners: Real-Time Strategy-Based Path Recommendation

    Nuzzolo, Agostino / Comi, Antonio | IEEE | 2015