TY  - RPRT
TI  - Deductive Controller Synthesis for Probabilistic Hyperproperties
AU  - Roman Andriushchenko
AU  - Ezio Bartocci
AU  - Milan Ceska
AU  - Francesco Pontiggia
AU  - Sarah Sallinger
PY  - 2023
UR  - https://arxiv.org/abs/2307.04503
ID  - 2307.04503
ER  -