Report: Formal verification of learning components

Summary
Report Formal verification of learning components ULIV