AILab @ UniTS's repositories
modulo_formativo_AI
Modulo formativo di UNITS sull'intelligenza artificiale
CQR_Quantitative_NPM
Code of paper "Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes" accepted to HSCC23
ailab-units.github.io
GitHub-hosted website.
gemini-ailab-units
A Beamerposter template with AILab @ UniTS logo and colors. Forked from Gemini.
Language:TeXMIT000
SV-smMC
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
Language:Python000