Computer Science and Systems Engineering Laboratory
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.