Safety Analysis Workshop

Safety Analysis Workshop

Jun 23, 2023 A three-day internal discussion on artificial intelligence systems suitable for ensuring security and reliability in project developments. Hosted by CNR’s IEIIT Institute in Milan, the Safety Analysis Workshop of REXASI-PRO, the European project...
Graphic modelling contest

Graphic modelling contest

How to engage young forces in an elaboration process that also requires inventiveness? Our partners at Universidad de Sevilla have organized a contest, among undergraduate students of Computer Science, to do a Graphics Modelling project inspired in our project...
Accepted paper at HSCC 2023

Accepted paper at HSCC 2023

Nicola Paoletti from King’s College London, in collaboration with researchers from Università degli Studi di Trieste, has got a paper accepted at HSCC 2023. The paper is titled Conformal Quantitative Predictive Monitoring of STL Requirements for...