Published October 20, 2023
| Version v1
Dataset
Open
Simulation data SySCoRe
Description
Simulation data corresponding to the paper
SySCoRe: Synthesis via Stochastic Coupling Relations
van Huijgevoort, Birgit; Schön, Oliver; Soudjani, Sadegh; Haesaert, Sofie
HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
Files
DataSetSySCoRe.zip
Additional details
Related works
- Is documented by
- Conference proceeding: 10.1145/3575870.3587123 (DOI)
Dates
- Accepted
-
2023-10-20