Datasets
Search results
-
Artifact for Symbolic Semantics for Probabilistic Programs
Voogd, E. (Creator), Johnsen, E. B. (Creator), Silva, A. (Creator), Susag, Z. J. (Creator) & Wąsowski, A. (Creator), ZENODO, 12 Jul 2023
DOI: 10.5281/zenodo.8139552, https://zenodo.org/record/8139552
Dataset: Software
-
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots
Ghorbani, A. (Creator), Cassee, N. W. (Creator), Robinson, D. (Creator), Alami, A. (Creator), Ernst, N. (Creator), Serebrenik, A. (Creator) & Wasowski, A. (Creator), ZENODO, 1 Sept 2022
DOI: 10.5281/zenodo.7040317, https://zenodo.org/records/7040317
Dataset
-
MPC combined Reinforcement Learning for minimizing CSO: A Case Study of the Stormwater Tunnel in Denmark
Hahyeon Kim, E. (Creator), Dyhre Nielsen, T. (Creator), Ghaffari, M. (Creator), Goorden, M. (Creator), Høeg-Petersen, A. H. (Creator), Guldstrand Larsen, K. (Creator) & Wasowski, A. (Creator), ZENODO, 14 May 2024
DOI: 10.5281/zenodo.11191543, https://zenodo.org/records/11191543
Dataset: Software
-
Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning: A Case Study of the Stormwater Tunnel in Denmark
Hahyeon Kim, E. (Creator), Dyhre Nielsen, T. (Creator), Ghaffari, M. (Creator), Goorden, M. (Creator), Holck Høeg-Petersen, A. (Creator), Guldstrand Larsen, K. (Creator) & Wasowski, A. (Creator), ZENODO, 1 Jun 2025
DOI: 10.5281/zenodo.14288652, https://zenodo.org/records/14288652
Dataset: Software
-
Formal Specification and Testing for Reinforcement Learning (Supplementary Material )
Varshosaz, M. (Creator), Ghaffari, M. (Creator), Johnsen, E. B. (Creator) & Wasowski, A. (Creator), ZENODO, 26 Jun 2023
DOI: 10.5281/zenodo.8083298, https://zenodo.org/record/8083298
Dataset: Software
-
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Accompanying Artifact)
Rønneberg, R. C. (Creator), Pardo, R. (Creator) & Wąsowski, A. (Creator), ZENODO, 22 Jul 2023
DOI: 10.5281/zenodo.8173905, https://zenodo.org/record/8173905
Dataset: Software
-
Comparison of a system using the MROS metacontroller to a benchmark system (Baseline) for a navigation mission
Bozhinoski, D. (Creator), Oviedo, M. A. G. (Creator), Garcia, N. H. (Creator), van der Hoorn, G. (Creator), Tjerngren, J. (Creator), Wasowski, A. (Creator) & Corbato, C. H. (Creator), ZENODO, 31 Aug 2021
DOI: 10.5281/zenodo.5340886, https://zenodo.org/record/5340886
Dataset
-
git-afsantos/haros: HAROS v3.10.16
Santos, A. (Creator), Krichenbauer, M. (Contributor), Laezza, D. (Contributor), Bordignon, M. (Contributor), Hechtbauer, J. (Contributor), Rogleva, E. (Contributor), Arguedas, M. (Contributor), Wąsowski, A. (Contributor), García, N. H. (Contributor), Hoorn, G. A. V. (Contributor), Limpert, N. (Contributor), Paques, A. (Contributor), Deshpande, H. (Contributor) & Carvalho, R. (Contributor), ZENODO, 4 Sept 2021
DOI: 10.5281/zenodo.5442452, https://zenodo.org/record/5442452
Dataset: Software
-
MPC combined Reinforcement Learning for minimizing CSO: A Case Study of the Stormwater Tunnel in Denmark
Hahyeon Kim, E. (Creator), Dyhre Nielsen, T. (Creator), Ghaffari, M. (Creator), Goorden, M. (Creator), Holck Høeg-Petersen, A. (Creator), Guldstrand Larsen, K. (Creator) & Wasowski, A. (Creator), ZENODO, 14 Nov 2024
DOI: 10.5281/zenodo.14160730, https://zenodo.org/records/14160730
Dataset
-
MarinaPipe
Marnet, L. R. (Creator), Grasshof, S. (Creator), Brodskiy, Y. (Creator) & Wasowski, A. (Creator), ZENODO, 9 Apr 2024
Dataset