@misc{indiciaefebd7a4b27d0,
  title = {SySCoRe: Synthesis via Stochastic Coupling Relations},
  author = {Birgit van Huijgevoort and Oliver Schön and Sadegh Soudjani and Sofie Haesaert},
  year = {2023},
  url = {https://arxiv.org/abs/2302.12294},
  note = {Source identifier: 2302.12294}
}