SANDO achieves high success rates with collision-free guarantees in dynamic unknown 3D environments via spatiotemporal safe flight corridors, variable-elimination MIQP, and formal analysis under bounded velocity and estimation error.
Gurobi Optimizer Reference Manual,
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
A decomposed variational quantum pipeline for CROP achieves higher feasibility with PUBO formulations than global QUBO by exploiting block-diagonal structure to solve single-commodity subproblems.
citing papers explorer
-
SANDO: Safe Autonomous Trajectory Planning for Dynamic Unknown Environments
SANDO achieves high success rates with collision-free guarantees in dynamic unknown 3D environments via spatiotemporal safe flight corridors, variable-elimination MIQP, and formal analysis under bounded velocity and estimation error.
-
From Cables to Qubits: A Decomposed Variational Quantum Optimization Pipeline
A decomposed variational quantum pipeline for CROP achieves higher feasibility with PUBO formulations than global QUBO by exploiting block-diagonal structure to solve single-commodity subproblems.