Skip to main navigation
Skip to search
Skip to main content
Research portal Eindhoven University of Technology Home
Help & FAQ
Link opens in a new tab
English
Nederlands
Search content at Research portal Eindhoven University of Technology
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facility/Lab/Equipment
Datasets
Courses
Research areas
Student theses
SySCoRe Repeatability Package (ARCH 2023 Category Report Case Study)
Oliver Schön
(Creator)
Sofie Haesaert
(Creator)
Birgit C. van Huijgevoort
(Creator)
Formal methods for control of cyber-physical systems
Autonomous Motion Control Lab
EAISI High Tech Systems
EAISI Foundational
Control Systems
Spatial-Temporal Systems for Control
Dataset
Overview
Description
Synthesis via Stochastic Coupling Relations (SySCoRe) for stochastic continuous-state systems.
Date made available
24 Apr 2023
Publisher
Code Ocean
DOI
10.24433/co.8616869.v1
Access Dataset
MIT License
Cite this
DataSetCite
Schön, O. (Creator), Haesaert, S. (Creator), van Huijgevoort, B. C. (Creator) (
24 Apr 2023
). SySCoRe Repeatability Package (ARCH 2023 Category Report Case Study). Code Ocean.
10.24433/co.8616869.v1