TY  - RPRT
TI  - SySCoRe: Synthesis via Stochastic Coupling Relations
AU  - Birgit van Huijgevoort
AU  - Oliver Schön
AU  - Sadegh Soudjani
AU  - Sofie Haesaert
PY  - 2023
UR  - https://arxiv.org/abs/2302.12294
ID  - 2302.12294
ER  -