Datasets
- 1 - 25 out of 44 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
-
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"
Schmid, S. (Contributor), Srba, J. (Contributor), Schou, M. K. (Creator) & Vanerio, J. (Creator), Zenodo, 13 Oct 2022
DOI: 10.5281/zenodo.7191619, https://zenodo.org/record/7191619
Dataset
-
Repeatability Package for "Differential Testing of Pushdown Reachability with a Formally Verified Oracle"
Schlichtkrull, A. (Creator), Schou, M. K. (Creator), Srba, J. (Creator) & Traytel, D. (Creator), Zenodo, 2 Aug 2022
DOI: 10.5281/zenodo.6952979, https://zenodo.org/record/6952979
Dataset
-
Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems"
Jensen, P. G. (Creator), Schmid, S. (Creator), Schou, M. K. (Creator) & Srba, J. (Creator), Zenodo, 1 Aug 2022
DOI: 10.5281/zenodo.6833494, https://zenodo.org/record/6833494
Dataset
-
Data for domains without generator for the ICAPS 2021 paper "Automatic Instance Generation for Classical Planning"'
Torralba, A. (Creator), Seipp, J. (Creator) & Sievers, S. (Creator), Zenodo, 22 Jun 2022
DOI: 10.5281/zenodo.6686348, https://zenodo.org/record/6686348
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
-
Repeatability package for: Methods for Efficient Unfolding of Colored Petri Nets
Kristensen, A. B. (Creator), Jensen, P. G. (Creator), Pedersen, T. (Creator), Srba, J. (Creator) & Taankvist, P. H. (Creator), Zenodo, 6 Apr 2022
DOI: 10.5281/zenodo.6417272, https://zenodo.org/record/6417272
Dataset
-
Artefact for Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
Johansen, N. S. (Creator), Kær, L. B. (Creator), Madsen, A. L. (Creator), Nielsen, K. Ø. (Creator), Srba, J. (Creator) & Tollund, R. G. (Creator), Zenodo, 27 Mar 2022
DOI: 10.5281/zenodo.6411889, https://zenodo.org/record/6411889
Dataset
-
Distributed Fleet Management in Noisy Environments via Model-Predictive Control: Reproducibility package for the accepted ICAPS '22 submission
Bøgh, S. (Creator), Jensen, P. G. (Creator), Kristjansen, M. (Creator), Nyman, U. (Creator) & Larsen, K. G. (Creator), Zenodo, 25 Mar 2022
DOI: 10.5281/zenodo.6385690, https://zenodo.org/record/6385690
Dataset
-
PDDL Generators
Seipp, J. (Creator), Torralba, A. (Creator) & Hoffmann, J. (Creator), Zenodo, 24 Mar 2022
DOI: 10.5281/zenodo.6382174, https://zenodo.org/record/6382174
Dataset
-
Artifact for "NetStack: A Game Approach to Synthesizing Consistent Network Updates"
Schmid, S. (Creator), Schrenk, B. C. (Creator) & Torralba, A. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6506194, https://zenodo.org/record/6506194
Dataset
-
Artefact for "Playing Wordle with Uppaal Stratego"
Jensen, P. G. (Creator), Larsen, K. G. (Creator) & Mikucionis, M. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6703959, https://zenodo.org/record/6703959
Dataset
-
Code, Benchmarks, and Data of "Towards Believable Non-Player Characters with Domain-Independent Planning"
Johansen, N. S. (Contributor), Kær, L. B. (Contributor), Tollund, R. G. (Contributor) & Torralba, A. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.6594835, https://zenodo.org/record/6594835
Dataset
-
Evaluation Artifacts for: Solving String Theories involving Regular Membership Predicates Using SAT
Kulczynski, M. (Creator), Lotz, K. (Creator), Nowotka, D. (Creator) & Poulsen, D. B. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6384326, https://zenodo.org/record/6384326
Dataset
-
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Kochdumper, N. (Creator), Schilling, C. (Creator), Althoff, M. (Creator) & Bak, S. (Creator), Code Ocean, 2022
DOI: 10.24433/co.0983169.v1, https://codeocean.com/capsule/8237552/tree/v1
Dataset
-
Nfer capsule demonstrating command-line use with the LANL spec
Kauffman, S. (Creator), Code Ocean, 2022
DOI: 10.24433/co.0237670.v1, https://codeocean.com/capsule/0105336/tree/v1
Dataset
-
Artefact for Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
Johansen, N. S. (Contributor), Kær, L. B. (Contributor), Madsen, A. L. (Contributor), Nielsen, K. Ø. (Contributor), Srba, J. (Contributor) & Tollund, R. G. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.7258208, https://zenodo.org/record/7258208
Dataset
-
Artefact for "End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego"
Hasrat, I. R. (Creator), Jensen, P. G. (Creator), Larsen, K. G. (Creator) & Srba, J. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6548367, https://zenodo.org/record/6548367
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
-
DEIS-Tools/libprlearn: 1.0.8
Jensen, P. G. (Creator), Jørgensen, K. Y. (Creator) & Mikucionis, M. (Creator), Zenodo, 10 Sept 2021
DOI: 10.5281/zenodo.5499711, https://zenodo.org/record/5499711
Dataset
-
DEIS-Tools/libstrategy: 1.0.8b
Jensen, P. G. (Creator), Jørgensen, K. Y. (Creator) & Rendal, R. (Creator), Zenodo, 10 Sept 2021
DOI: 10.5281/zenodo.5499738, https://zenodo.org/record/5499738
Dataset
-
A Survey of European Cybersecurity in Higher Education Programs
Dragoni, N. (Creator), Massacci, F. (Creator), Lluch-Lafuente, A. (Creator) & Schlichtkrull, A. (Creator), IEEE DataPort, 15 Jul 2021
DOI: 10.21227/b5y0-4243, https://ieee-dataport.org/open-access/survey-european-cybersecurity-higher-education-programs
Dataset
-
Code and Benchmarks from the paper "Automatic Instance Generation for Classical Planning"'
Torralba, A. (Creator), Seipp, J. (Creator), Sievers, S. (Creator), Torralba, A. (Contributor), Seipp, J. (Contributor) & Sievers, S. (Contributor), Zenodo, 2021
DOI: 10.5281/zenodo.4586397, https://zenodo.org/record/4586397
Dataset
-
Reproducibility Package: Automata-Driven Partial Order Reduction and Guided Search for LTL
Jensen, P. G. (Creator), Srba, J. (Creator), Jensen Ulrik, N. (Creator) & Mejlby Virenfeldt, S. (Creator), Zenodo, 2021
DOI: 10.5281/zenodo.5704172, https://zenodo.org/record/5704172
Dataset