Pinned Loading

1. openvla-fr3 openvla-fr3 Public

   FR3 robot in Gazebo integrated with 4-bit quantized OpenVLA and MoveIt

   C++

2. automatic-verification automatic-verification Public

   Automated formal verification tool for vision classifiers using CLIP embeddings and MILP optimization. Converts OWL ontologies into ConSpec specifications and provides mathematical guarantees about…

   Python

3. vision-sorter vision-sorter Public

   Pick and place automation for Franka FR3 using ROS2, MoveIt Task Constructor and RGBD object detection

   C++ 1

4. Kalman-Consensus-Filter Kalman-Consensus-Filter Public

5. learning-based-control learning-based-control Public

   Jupyter Notebook

6. robot-planning robot-planning Public

   Repository for robot planning course at UniTN

   C++