Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees

A tutorial paper in collaboration between King's College London and University of Trieste on conformal prediction for predictive monitoring was accepted for publication at the 23rd International Conference on Runtime Verification that will take place in Thessaloniki...

Software module and hardware components for the REXASI-PRO 3D Driving Assistant

The REXASI-PRO 3D Driving Assistant (3DDA) is a software module that safeguards driving commands for electrically powered wheelchairs. Driving commands can either be issued by a human driver using a standardized joystick or generated by the navigation approach to be...

Special track on xAI for Trustworthy & Responsible AI (CNR+USE)

The participants to our project, Maurizio Mongelli (Italian National Research Council) and Rocio Gonzalez Diaz (University of Seville) will chair the Special track on xAI for Trustworthy and Responsible AI within the World Conference on eXplainable Artificial...

Sixth EACA International School on Computer Algebra and its Applications

Prof. Rocio Gonzalez-Diaz, coordinator of the University of Seville node of the REXASI-PRO project, will participate as a speaker in the Sixth EACA International School on Computer Algebra and its Applications in Santiago de Compostela, Spain, from July 18th to 21st...

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

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

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...