Simulation data SySCoRe
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/10024042
下载链接
链接失效反馈官方服务：
资源简介：
Simulation data corresponding to the paper
SySCoRe: Synthesis via Stochastic Coupling Relationsvan Huijgevoort, Birgit; Schön, Oliver; Soudjani, Sadegh; Haesaert, SofieHSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
创建时间：
2023-10-20
