Code base for RAL paper: From Composable Models to Correct-by-Construction Software for Contact-Rich Robotic Mobile-Manipulation Tasks
The documentation comprises
- the setup instructions
- a tutorial.
orocos-kdlis a modified version that retains the GNU Lesser General Public License version 2.1 and originates from the OROCOS Kinematics and Dynamics Library.GEN3_URDF_V12.urdfis licensed under the BSD-3-Clause license and originates from Kinova's ros_kortex.
All Python scripts are licensed under the Mozilla Public License 2.0 (see LICENSE.MPL-2.0)
The models are licensed under the MIT No Attribution (see LICENSE.MIT-0) License.
This work is part of a project that has received funding from the European Union's Horizon 2020 research and innovation programme SESAME under grant agreement No 101017258.