Testing Robot Controllers using Constraint Programming and Continuous Integration