@article{bourgois:hal-03647551, TITLE = {{Proving Feasibility of a Docking Mission: A Contractor Programming Approach}}, AUTHOR = {Bourgois, Auguste and Rohou, Simon and Jaulin, Luc and Rauh, Andreas}, URL = {https://hal.science/hal-03647551}, JOURNAL = {{Mathematics }}, PUBLISHER = {{MDPI}}, VOLUME = {10}, NUMBER = {7}, PAGES = {1130}, YEAR = {2022}, DOI = {10.3390/math10071130}, KEYWORDS = {interval analysis ; constraint programming ; guaranteed integration ; underwater robotics applications ; tube arithmetic}, PDF = {https://hal.science/hal-03647551/file/mathematics-10-01130.pdf}, HAL_ID = {hal-03647551}, HAL_VERSION = {v1}, }