Datasets
- 6 results
Search results
-
Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"
Goorden, M. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator) & Zhao, G. (Creator), Zenodo, 12 Jun 2023
DOI: 10.5281/zenodo.8026422, https://zenodo.org/record/8026422
Dataset
-
Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package
Dierl, S. (Contributor), Howar, F. M. (Contributor), Kauffman, S. (Contributor), Kristjansen, M. (Contributor), Larsen, K. G. (Contributor), Lorber, F. (Contributor) & Mauritz, M. (Contributor), Zenodo, 2023
DOI: 10.5281/zenodo.7766789, https://zenodo.org/record/7766789
Dataset
-
Models for "Optimal Control Strategies for Stormwater Detention Ponds"
Goorden, M. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator), Srba, J. (Creator) & Zhao, G. (Creator), Zenodo, 30 May 2022
DOI: 10.5281/zenodo.6592380, https://zenodo.org/record/6592380
Dataset
-
Reproducibility package for: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
Larsen, K. G. (Contributor), Mariegaard, A. (Contributor), Schmid, S. (Contributor) & Srba, J. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.6534949, https://zenodo.org/record/6534949
Dataset
-
Reproducibility Package for Extended Abstract Dependency Graphs.
Enevoldsen, S. (Contributor), Larsen, K. G. (Contributor) & Srba, J. (Contributor), Zenodo, 2020
DOI: 10.5281/zenodo.3691837, https://zenodo.org/record/3691837
Dataset
-
Parametric Verification of Weighted Systems
Mariegaard, A. (Creator) & Larsen, K. G. (Creator), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 3 Dec 2015
DOI: https://doi.org/10.4230/oasics.syncop.2015.77, https://doi.org/10.4230%2Foasics.syncop.2015.77
Dataset