Acknowledgements

The SpaceEx team most gratefully acknowledges the many users that have helped us to debug and improve the tool as well as its documentation. In particular, we thank the following people for the time and effort they put into providing us with very helpful and detailed bug reports:

• Peter J.L. Cuijpers, TU Eindhoven
• Laura Panizo, University of Malaga
• Pratyush Kumar, ETH Zurich
• Damian Nadales, TU Eindhoven, and his students
• Corina Mitrohin, University of Freiburg
• Sergiy Bogomolov, University of Freiburg
• Johanna Nellen, RWTH Aachen
• Norman Hansen, RWTH Aachen