Skip to content
Change the repository type filter

All

    Repositories list

    • gemini-ailab-units

      Public template
      A Beamerposter template with AILab @ UniTS logo and colors. Forked from Gemini.
      TeX
      MIT License
      231000Updated Dec 15, 2024Dec 15, 2024
    • TorCheck

      Public
      A fully-differentiable implementation of Signal Temporal Logic semantic trees based on PyTorch library
      Python
      0110Updated Dec 12, 2024Dec 12, 2024
    • SV-smMC

      Public
      Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
      Python
      1000Updated Mar 22, 2024Mar 22, 2024
    • Modulo formativo di UNITS sull'intelligenza artificiale
      Jupyter Notebook
      GNU General Public License v3.0
      0500Updated Aug 31, 2023Aug 31, 2023
    • Code of paper "Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes" accepted to HSCC23
      Python
      2300Updated Apr 6, 2023Apr 6, 2023
    • GitHub-hosted website.
      HTML
      Apache License 2.0
      0000Updated Dec 10, 2022Dec 10, 2022