AILab @ UniTS

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

Trieste, Italy

Pinned Repositories

ailab-units.github.io
GitHub-hosted website.
Language:HTML0 3 00
CQR_Quantitative_NPM
Code of paper "Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes" accepted to HSCC23
Language:Python3 0 01
gemini-ailab-units
A Beamerposter template with AILab @ UniTS logo and colors. Forked from Gemini.
Language:TeX0 0 00
modulo_formativo_AI
Modulo formativo di UNITS sull'intelligenza artificiale
Language:Jupyter Notebook5 3 00
SV-smMC
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
Language:Python0 0 00
TorCheck
A fully-differentiable implementation of Signal Temporal Logic semantic trees based on PyTorch library
Language:Python1 3 00

ailab-units/modulo_formativo_AI
Modulo formativo di UNITS sull'intelligenza artificiale
Language:Jupyter Notebook5 3 00
ailab-units/CQR_Quantitative_NPM
Code of paper "Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes" accepted to HSCC23
Language:Python3 0 01
ailab-units/TorCheck
A fully-differentiable implementation of Signal Temporal Logic semantic trees based on PyTorch library
Language:Python1 3 00
ailab-units/ailab-units.github.io
GitHub-hosted website.
Language:HTML0 3 00
ailab-units/gemini-ailab-units
A Beamerposter template with AILab @ UniTS logo and colors. Forked from Gemini.
Language:TeX0 0 00
ailab-units/SV-smMC
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
Language:Python0 0 00