A. Bahr, J. Leonard, and M. Fallon, Cooperative localization for autonomous underwater vehicles, International Journal of Robotics Research, vol.28, issue.6, pp.714-728, 2009.

S. Cafieri and C. , Feasibility pump for aircraft deconfliction with speed regulation, Journal of Global Optimization, vol.71, issue.3, pp.501-515, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01609328

M. Cerulli, C. , and L. Liberti, Advances in Optimization and Decision Science for Society, Services and Enterprises: ODS, vol.3, pp.197-206, 2019.

M. Cerulli, C. Ambrosio, L. Liberti, and M. Pelegrín, Detecting and solving aircraft conflicts using bilevel programming
URL : https://hal.archives-ouvertes.fr/hal-02869699

R. Fourer, D. M. Gay, and B. W. Kernighan, AMPL: A Modeling Language for Mathematical Programming, 2002.

C. Lizon, C. Ambrosio, L. Liberti, M. L. Ravalec, and D. Sinoquet, A mixed-integer nonlinear optimization approach for well placement and geometry, Proceedings of the 14th European Conference on the Mathematics of Oil Recovery, volume XIV of ECMOR, p.38, 2014.
URL : https://hal.archives-ouvertes.fr/hal-02284385

N. V. Sahinidis, Global Optimization of Mixed-Integer Nonlinear Programs, User's Manual, vol.17, 2017.

P. Tabaghi, I. Dokmani?, and M. Vetterli, Kinetic Euclidean distance matrices, IEEE Transactions on Signal Processing, vol.68, pp.452-465, 2020.

J. Villiers, Automatisation du contrôle de la circulation aèrienne: "ERASMUS", une voie conviviale pour franchir le mur de la capacitè, vol.58, 2004.

A. Wächter and L. Biegler, On the implementation of a primal-dual interior point filter line search algorithm for large-scale nonlinear programming, Mathematical Programming, vol.106, pp.25-57, 2006.

L. Wang and F. Guo, Semidefinite relaxations for semi-infinite polynomial programming, Computational Optimization and Applications, vol.58, pp.133-159, 2014.

Y. Xu, W. Sun, and L. Qi, On solving a class of linear semi-infinite programming by SDP method, Optimization, vol.64, issue.3, pp.603-616, 2015.