03/31/2025 - 04/04/2025
Our MARS partner Simula Research Laboratory will attend the 40th ACM/SIGAPP Symposium on Applied Computing (SAC 2025) that will be held on March 31 – April 4, 2025 in Sicily, Italy and present their research paper on “PCTL Model Checking for Temporal RL Policy Safety Explanations”.