{
  "$type": "site.standard.document",
  "description": "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…",
  "path": "/patents/1401205",
  "publishedAt": "2024-09-04T00:00:00.000Z",
  "site": "at://did:plc:oql6ds5vnff4ugar6rruliwd/site.standard.publication/3mn3ohu7oxx5w",
  "tags": [
    "G01C21/20",
    "AURORA FLIGHT SCIENCES CORP A SUBSIDIARY OF THE BOEING COMPANY [US]"
  ],
  "textContent": "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.",
  "title": "SAFETY ASSURANCE FOR PATH PLANNERS"
}