Skip to content
@ailab-units

AILab @ UniTS

Artificial Intelligence Laboratory @ University of Trieste (P.I.: Prof. Luca Bortolussi)

Popular repositories Loading

  1. modulo_formativo_AI modulo_formativo_AI Public

    Modulo formativo di UNITS sull'intelligenza artificiale

    Jupyter Notebook 5

  2. CQR_Quantitative_NPM CQR_Quantitative_NPM Public

    Forked from francescacairoli/CQR_Quantitative_NPM

    Code of paper "Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes" accepted to HSCC23

    Python 3 1

  3. TorCheck TorCheck Public

    A fully-differentiable implementation of Signal Temporal Logic semantic trees based on PyTorch library

    Python 1

  4. ailab-units.github.io ailab-units.github.io Public

    GitHub-hosted website.

    HTML

  5. SV-smMC SV-smMC Public

    Forked from francescacairoli/SV-smMC

    Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking

    Python

  6. gemini-ailab-units gemini-ailab-units Public template

    Forked from emaballarin/gemini-ailab-units

    A Beamerposter template with AILab @ UniTS logo and colors. Forked from Gemini.

    TeX

Repositories

Showing 6 of 6 repositories
  • SV-smMC Public Forked from francescacairoli/SV-smMC

    Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking

    ailab-units/SV-smMC’s past year of commit activity
    Python 0 1 0 0 Updated Mar 22, 2024
  • gemini-ailab-units Public template Forked from emaballarin/gemini-ailab-units

    A Beamerposter template with AILab @ UniTS logo and colors. Forked from Gemini.

    ailab-units/gemini-ailab-units’s past year of commit activity
    TeX 0 MIT 224 0 0 Updated Feb 24, 2024
  • modulo_formativo_AI Public

    Modulo formativo di UNITS sull'intelligenza artificiale

    ailab-units/modulo_formativo_AI’s past year of commit activity
    Jupyter Notebook 5 GPL-3.0 0 0 0 Updated Aug 31, 2023
  • TorCheck Public

    A fully-differentiable implementation of Signal Temporal Logic semantic trees based on PyTorch library

    ailab-units/TorCheck’s past year of commit activity
    Python 1 0 0 0 Updated May 19, 2023
  • CQR_Quantitative_NPM Public Forked from francescacairoli/CQR_Quantitative_NPM

    Code of paper "Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes" accepted to HSCC23

    ailab-units/CQR_Quantitative_NPM’s past year of commit activity
    Python 3 2 0 0 Updated Apr 6, 2023
  • ailab-units.github.io Public

    GitHub-hosted website.

    ailab-units/ailab-units.github.io’s past year of commit activity
    HTML 0 Apache-2.0 0 0 0 Updated Dec 10, 2022

Top languages

Loading…

Most used topics

Loading…