TY  - RPRT
TI  - Automated Formalization of Probabilistic Requirements from Structured Natural Language
AU  - Anastasia Mavridou
AU  - Marie Farrell
AU  - Gricel Vázquez
AU  - Tom Pressburger
AU  - Timothy E. Wang
AU  - Radu Calinescu
AU  - Michael Fisher
PY  - 2025
UR  - https://arxiv.org/abs/2512.15788
ID  - 2512.15788
ER  -