P. d’Orey, J. Azevedo, and M. Ferreira, “Automated Planning and Control for High-Density Parking Lots”, ICAPS, vol. 27, no. 1, pp. 367–372, Jun. 2017.