AILab @ UniTS (ailab-units)

AILab @ UniTS

ailab-units

Geek Repo

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

Location:Trieste, Italy

Home Page:https://ai-lab.units.it/

Github PK Tool:Github PK Tool

AILab @ UniTS's repositories

modulo_formativo_AI

Modulo formativo di UNITS sull'intelligenza artificiale

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:5Issues:0Issues:0

CQR_Quantitative_NPM

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

Language:PythonStargazers:2Issues:0Issues:0

TorCheck

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

Language:PythonStargazers:1Issues:3Issues:0

ailab-units.github.io

GitHub-hosted website.

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:3Issues:0

gemini-ailab-units

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

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

SV-smMC

Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking

Language:PythonStargazers:0Issues:0Issues:0