Forskningsdatasæt
- 1 - 25 ud af 44 resultater
Søgeresultater
-
Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"
Goorden, M. (Ophavsperson), Larsen, K. G. (Ophavsperson), Nielsen, J. E. (Ophavsperson), Nielsen, T. D. (Ophavsperson), Qian, W. (Ophavsperson), Rasmussen, M. R. (Ophavsperson) & Zhao, G. (Ophavsperson), Zenodo, 12 jun. 2023
DOI: 10.5281/zenodo.8026422, https://zenodo.org/record/8026422
Datasæt
-
Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package
Dierl, S. (Bidrager), Howar, F. M. (Bidrager), Kauffman, S. (Bidrager), Kristjansen, M. (Bidrager), Larsen, K. G. (Bidrager), Lorber, F. (Bidrager) & Mauritz, M. (Bidrager), Zenodo, 2023
DOI: 10.5281/zenodo.7766789, https://zenodo.org/record/7766789
Datasæt
-
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"
Schmid, S. (Bidrager), Srba, J. (Bidrager), Schou, M. K. (Ophavsperson) & Vanerio, J. (Ophavsperson), Zenodo, 13 okt. 2022
DOI: 10.5281/zenodo.7191619, https://zenodo.org/record/7191619
Datasæt
-
Repeatability Package for "Differential Testing of Pushdown Reachability with a Formally Verified Oracle"
Schlichtkrull, A. (Ophavsperson), Schou, M. K. (Ophavsperson), Srba, J. (Ophavsperson) & Traytel, D. (Ophavsperson), Zenodo, 2 aug. 2022
DOI: 10.5281/zenodo.6952979, https://zenodo.org/record/6952979
Datasæt
-
Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems"
Jensen, P. G. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 1 aug. 2022
DOI: 10.5281/zenodo.6833494, https://zenodo.org/record/6833494
Datasæt
-
Data for domains without generator for the ICAPS 2021 paper "Automatic Instance Generation for Classical Planning"'
Torralba, A. (Ophavsperson), Seipp, J. (Ophavsperson) & Sievers, S. (Ophavsperson), Zenodo, 22 jun. 2022
DOI: 10.5281/zenodo.6686348, https://zenodo.org/record/6686348
Datasæt
-
Models for "Optimal Control Strategies for Stormwater Detention Ponds"
Goorden, M. (Ophavsperson), Larsen, K. G. (Ophavsperson), Nielsen, J. E. (Ophavsperson), Nielsen, T. D. (Ophavsperson), Qian, W. (Ophavsperson), Rasmussen, M. R. (Ophavsperson), Srba, J. (Ophavsperson) & Zhao, G. (Ophavsperson), Zenodo, 30 maj 2022
DOI: 10.5281/zenodo.6592380, https://zenodo.org/record/6592380
Datasæt
-
Repeatability package for: Methods for Efficient Unfolding of Colored Petri Nets
Kristensen, A. B. (Ophavsperson), Jensen, P. G. (Ophavsperson), Pedersen, T. (Ophavsperson), Srba, J. (Ophavsperson) & Taankvist, P. H. (Ophavsperson), Zenodo, 6 apr. 2022
DOI: 10.5281/zenodo.6417272, https://zenodo.org/record/6417272
Datasæt
-
Artefact for Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
Johansen, N. S. (Ophavsperson), Kær, L. B. (Ophavsperson), Madsen, A. L. (Ophavsperson), Nielsen, K. Ø. (Ophavsperson), Srba, J. (Ophavsperson) & Tollund, R. G. (Ophavsperson), Zenodo, 27 mar. 2022
DOI: 10.5281/zenodo.6411889, https://zenodo.org/record/6411889
Datasæt
-
Distributed Fleet Management in Noisy Environments via Model-Predictive Control: Reproducibility package for the accepted ICAPS '22 submission
Bøgh, S. (Ophavsperson), Jensen, P. G. (Ophavsperson), Kristjansen, M. (Ophavsperson), Nyman, U. (Ophavsperson) & Larsen, K. G. (Ophavsperson), Zenodo, 25 mar. 2022
DOI: 10.5281/zenodo.6385690, https://zenodo.org/record/6385690
Datasæt
-
PDDL Generators
Seipp, J. (Ophavsperson), Torralba, A. (Ophavsperson) & Hoffmann, J. (Ophavsperson), Zenodo, 24 mar. 2022
DOI: 10.5281/zenodo.6382174, https://zenodo.org/record/6382174
Datasæt
-
Code, Benchmarks, and Data of "Towards Believable Non-Player Characters with Domain-Independent Planning"
Johansen, N. S. (Bidrager), Kær, L. B. (Bidrager), Tollund, R. G. (Bidrager) & Torralba, A. (Bidrager), Zenodo, 2022
DOI: 10.5281/zenodo.6594835, https://zenodo.org/record/6594835
Datasæt
-
Artefact for Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
Johansen, N. S. (Bidrager), Kær, L. B. (Bidrager), Madsen, A. L. (Bidrager), Nielsen, K. Ø. (Bidrager), Srba, J. (Bidrager) & Tollund, R. G. (Bidrager), Zenodo, 2022
DOI: 10.5281/zenodo.7258208, https://zenodo.org/record/7258208
Datasæt
-
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Kochdumper, N. (Ophavsperson), Schilling, C. (Ophavsperson), Althoff, M. (Ophavsperson) & Bak, S. (Ophavsperson), Code Ocean, 2022
DOI: 10.24433/co.0983169.v1, https://codeocean.com/capsule/8237552/tree/v1
Datasæt
-
Evaluation Artifacts for: Solving String Theories involving Regular Membership Predicates Using SAT
Kulczynski, M. (Ophavsperson), Lotz, K. (Ophavsperson), Nowotka, D. (Ophavsperson) & Poulsen, D. B. (Ophavsperson), Zenodo, 2022
DOI: 10.5281/zenodo.6384326, https://zenodo.org/record/6384326
Datasæt
-
Artefact for "Playing Wordle with Uppaal Stratego"
Jensen, P. G. (Ophavsperson), Larsen, K. G. (Ophavsperson) & Mikucionis, M. (Ophavsperson), Zenodo, 2022
DOI: 10.5281/zenodo.6703959, https://zenodo.org/record/6703959
Datasæt
-
Nfer capsule demonstrating command-line use with the LANL spec
Kauffman, S. (Ophavsperson), Code Ocean, 2022
DOI: 10.24433/co.0237670.v1, https://codeocean.com/capsule/0105336/tree/v1
Datasæt
-
Reproducibility package for: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
Larsen, K. G. (Bidrager), Mariegaard, A. (Bidrager), Schmid, S. (Bidrager) & Srba, J. (Bidrager), Zenodo, 2022
DOI: 10.5281/zenodo.6534949, https://zenodo.org/record/6534949
Datasæt
-
Artefact for "End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego"
Hasrat, I. R. (Ophavsperson), Jensen, P. G. (Ophavsperson), Larsen, K. G. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2022
DOI: 10.5281/zenodo.6548367, https://zenodo.org/record/6548367
Datasæt
-
Artifact for "NetStack: A Game Approach to Synthesizing Consistent Network Updates"
Schmid, S. (Ophavsperson), Schrenk, B. C. (Ophavsperson) & Torralba, A. (Ophavsperson), Zenodo, 2022
DOI: 10.5281/zenodo.6506194, https://zenodo.org/record/6506194
Datasæt
-
DEIS-Tools/libstrategy: 1.0.8b
Jensen, P. G. (Ophavsperson), Jørgensen, K. Y. (Ophavsperson) & Rendal, R. (Ophavsperson), Zenodo, 10 sep. 2021
DOI: 10.5281/zenodo.5499738, https://zenodo.org/record/5499738
Datasæt
-
DEIS-Tools/libprlearn: 1.0.8
Jensen, P. G. (Ophavsperson), Jørgensen, K. Y. (Ophavsperson) & Mikucionis, M. (Ophavsperson), Zenodo, 10 sep. 2021
DOI: 10.5281/zenodo.5499711, https://zenodo.org/record/5499711
Datasæt
-
A Survey of European Cybersecurity in Higher Education Programs
Dragoni, N. (Ophavsperson), Massacci, F. (Ophavsperson), Lluch-Lafuente, A. (Ophavsperson) & Schlichtkrull, A. (Ophavsperson), IEEE DataPort, 15 jul. 2021
DOI: 10.21227/b5y0-4243, https://ieee-dataport.org/open-access/survey-european-cybersecurity-higher-education-programs
Datasæt
-
Code, Benchmarks, and Data of Faster Stackelberg Planning via Symbolic Search and Information Sharing
Torralba, A. (Bidrager) & Speicher, P. (Bidrager), Zenodo, 2021
DOI: 10.5281/zenodo.4320574, https://zenodo.org/record/4320574
Datasæt
-
Code and Benchmarks from the paper "Automatic Instance Generation for Classical Planning"'
Torralba, A. (Ophavsperson), Seipp, J. (Ophavsperson), Sievers, S. (Ophavsperson), Torralba, A. (Bidrager), Seipp, J. (Bidrager) & Sievers, S. (Bidrager), Zenodo, 2021
DOI: 10.5281/zenodo.4586397, https://zenodo.org/record/4586397
Datasæt