Antoine Ligot, Andres Cotorruelo, Emanuele Garone, and Mauro Birattari (April 2021)
The source code of the mission generator MG1 is available on GitHub. Dependencies are listed in the README of the package.
The source code of the automatic design methods used to solve the missions generated by MG1 are available here: AutoMoDe-Chocolate and EvoStick
The proof of Theorem 1 is available as technical report: Proof.pdf
The missions generated by MG1, the instances of control software generated by Chocolate and EvoStick to solve them, and the performances obtained both in simulation and on physical robots are available for download: MissionsConfigurations.txt, ControlSoftware.zip, and Results.zip
Video the control software generated by Chocolate and EvoStick performing the 30 generated missions.