TY  - RPRT
TI  - Synthesis of Safety Specifications for Probabilistic Systems
AU  - Gaspard Ohlmann
AU  - Edwin Hamel-De le Court
AU  - Francesco Belardinelli
PY  - 2025
UR  - https://arxiv.org/abs/2511.16579
ID  - 2511.16579
ER  -