SySCoRe: Synthesis via Stochastic Coupling Relations

Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani +1

We present SySCoRe, a MATLAB toolbox that synthesizes controllers for stochastic continuous-state systems to satisfy temporal logic specifications. Starting from a system descripti…