Simulation data SySCoRe
收藏官方服务：
资源简介：
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
