Abstract: 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.

Abstract: Techniques for traversing in an environment that includes at least one obstacle, by a mobile autonomous system, to a destination in the environment, are presented. The techniques can include generating, prior to the mobile autonomous system commencing activity in the environment, a graph including a plurality of vertices representing positions in the environment and a plurality of edges between vertices representing feasible transitions by the mobile autonomous vehicle in the environment; annotating the graph with at least one edge connecting a representation of a present position of the mobile autonomous system to a vertex of the graph; determining, based on the graph, a path from the present position of the mobile autonomous system in the environment to the destination; and traversing the environment to the destination, by the mobile autonomous system, based on the path.