1. Microtransat Challenge Cup. http://www.microtransat.org .
2. Sailbot Competition. http://engsoc.queensu.ca/sailboat/competition/index.htm .
3. C. Abdallah, P. Dorato, W. Yang, R. Liska, and S. Steinberg, “Applications of quantifier elimination theory to control system design,” Proc. of the 4th IEEE Mediterranean Symposium on Control and Automation, Crete, Greece, 1996.
4. F. Benhamou and F. Goulard, “Universally quantified interval constraints,” Lecture Notes in Computer Science - Proc. of the 6th International Conference on Principles and Practice of Constraint Programming, vol. 1894, pp. 67–82, 2000.
5. G. E. Collins, “Quantifier elimination for real closed fields by cylindrical algebraic decomposition,” Proc. of the 2nd GI Conf. Automata Theory and Formal Languages, vol. 33, pp. 134–189. Springer, 1975.