Periodic Reporting for period 1 - CORPORA (COntext-free model checking for Recursive PrObabilistic pRogrAms)

The CORPORA project tackles the challenge of verifying the reliability and safety of software systems that rely on advanced probabilistic reasoning. Probabilistic programs are increasingly used to model and implement complex decision-making under uncertainty, from autonomous...