Aerospace Science and Technology · 2019 · 22 citations · 34 references
EngineeringAerospace EngineeringAutonomous SystemsAerial RoboticsOptimizationUnmanned Aircraft SystemsFlight Path OptimizationMission PlanningOptimal ControlTemporal LogicTrajectory GenerationTrajectory OptimizationLinear Temporal LogicLinear-time Temporal LogicSampling-based Trajectory PlanningTemporal SpecificationsTrajectory Planning
34