TY  - RPRT
TI  - ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
AU  - Eric Vin
AU  - Kyle A. Miller
AU  - Inigo Incer
AU  - Sanjit A. Seshia
AU  - Daniel J. Fremont
PY  - 2025
UR  - https://arxiv.org/abs/2511.02164
ID  - 2511.02164
ER  -