Some of the Software developped in the laboratory :

• GitLab U2IS Robotics : the GitLab of the lab with the most recent contributions in terrestrial and aerial robotics.
• GitHub U2IS AI : the Github of the Deep Learning Research at U2IS.
• DynIbex : a plug-in of Ibex library which is a library for constraint processing over real numbers.
• DepthNet : a depth map inference system from monocular videos based on deep learning and the associated StillBox dataset.
• S-RL Toolbox : a Reinforcement Learning and State Representation Learning Toolbox for Robotics.
• FoCaLiZe : a development environment to write software and formal proofs.
• RL-IAC : an intrinsic motivation approach to learn object-based visual saliency.
• Swarm Rescue : a simple drone swarm simulator for search and rescue missions. Used as part of a programming competition for engineering students.