Strips
class StripsResolutionPlanner(safetyReasoner: SafetyReasoner, stripsPlanner: StripsPlanner = StripsPlanner()) : ResolutionPlanner(source)
Basic STRIPS-based conflict resolution planner.
It selects one aircraft, builds candidate maneuver actions, solves a small STRIPS problem, and converts the resulting actions into a resolution plan.