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 :

    2024-11-26


    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 ASSURANCE FOR PATH PLANNERS

    BONNOIT CRAIG JOHN / GUHA ANUBHAV | European Patent Office | 2023

    Free access

    SAFETY ASSURANCE FOR PATH PLANNERS

    BONNOIT CRAIG JOHN / GUHA ANUBHAV | European Patent Office | 2025

    Free access

    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

    SAFETY FILTER FOR MACHINE LEARNING PLANNERS

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

    Free access