Pinned Loading

1. Isla-lab/Neural-Network-Verifier Isla-lab/Neural-Network-Verifier Public

   A set of methods for the Formal and Approximate Verification and analysis of Neural Networks, implemented in Python

   Python

2. DRL-for-Pick-and-Place-Task-subtasks DRL-for-Pick-and-Place-Task-subtasks Public

   A multi-subtask reinforcement learning method where complex tasks can be decomposed into low-level subtasks.

   Python 26 6

3. Curriculum-Learning-for-Safe-Mapless-Navigation Curriculum-Learning-for-Safe-Mapless-Navigation Public

   A CL approach that leverages Transfer of Learning (ToL) for improving safety in the mapless navigation context.

   ASP.NET 3

4. Planning-Lab Planning-Lab Public

   Code for the Planning lab of Planning and Automated Reasoning course,MSc in Artificial Intelligence 2022/2023, University of Verona

   Python 5 8

5. CartPole-CNN CartPole-CNN Public

   Project of the "fundamentals of artificial intelligence" first year master's degree course

   Python 4 2

6. Personal_Insulin_Pump-Integrated_System Personal_Insulin_Pump-Integrated_System Public

   An embedded system in an insulin pump used by diabetics to maintain blood glucose control.

   Java 5