Automated Reasoning

FAIR — MaPSART
Massive Parallelism Serving Automated Reasoning Tasks within the PNRR FAIR programme.
FAIR — MaPSART
SAFE
A real-time damage assessment and decision-support system for passenger ships.
PDF Video
SAFE