SySCoRe: Synthesis via Stochastic Coupling Relations

Open Webpage

Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert

Published: 2023, Last Modified: 14 Nov 2025HSCC 2023EveryoneRevisionsBibTeXCC BY-SA 4.0