TY - RPRT TI - Scenario Approach with Post-Design Certification of User-Specified Properties AU - Algo Carè AU - Marco C. Campi AU - Simone Garatti PY - 2026 UR - https://arxiv.org/abs/2602.15568 ID - 2602.15568 ER -