Forskningsdatasæt
- 1 - 25 ud af 44 resultater
Søgeresultater
-
Artefact for: Automatic Synthesis of Transiently Correct Network Updates via Petri Games
Didriksen, M. (Ophavsperson), Jensen, P. G. (Ophavsperson), Jønler, J. F. (Ophavsperson), Katona, A. (Ophavsperson), Lama, S. D. L. (Ophavsperson), Lottrup, F. B. (Ophavsperson), Shajarat, S. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2021
DOI: 10.5281/zenodo.4501982, https://zenodo.org/record/4501982
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
-
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
-
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
-
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
-
Artifact for "AalWiNes: A Fast and Quantitative What-If Analysis Tool for MPLS Networks"
Jensen, P. G. (Ophavsperson), Kristiansen, D. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson), Schrenk, B. C. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2020
DOI: 10.5281/zenodo.4056504, https://zenodo.org/record/4056504
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
-
Artifact for "Partial Order Reduction for Reachability Games"
Bønneland, F. M. (Ophavsperson), Jensen, P. G. (Ophavsperson), Larsen, K. G. (Ophavsperson), Mũniz, M. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2020
DOI: 10.5281/zenodo.4058161, https://zenodo.org/record/4058161
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
-
Artifact for "Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs"
Jensen, P. G. (Ophavsperson), Zenodo, 2019
DOI: 10.5281/zenodo.3268381, https://zenodo.org/record/3268381
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, 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
-
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
-
Code and data for construction of a network architecture for Multi-Multi-Instance learning
Jaeger, M. (Ophavsperson), Frasconi, P. (Ophavsperson) & Tibo, A. (Ophavsperson), Figshare, 7 mar. 2018
DOI: 10.6084/m9.figshare.5442451.v1, https://doi.org/10.6084%2Fm9.figshare.5442451.v1
Datasæt
-
Code and data for construction of a network architecture for Multi-Multi-Instance learning
Tibo, A. (Ophavsperson), Frasconi, P. (Ophavsperson) & Jaeger, M. (Ophavsperson), Figshare, 2017
DOI: 10.6084/m9.figshare.5442451, https://figshare.com/articles/Code_and_data_for_construction_of_a_network_architecture_for_Multi-Multi-Instance_learning/5442451
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
-
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
-
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
-
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
-
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
-
Experiments for "Automata Theoretic Approach to Verification of MPLS Networks under Link Failures"
Jensen, P. G. (Ophavsperson), Jensen, H. T. (Ophavsperson), Duijn, I. V. (Ophavsperson), Jensen, J. S. (Ophavsperson), Krøgh, T. B. (Ophavsperson), Madsen, J. S. (Ophavsperson), Schmid, S. (Ophavsperson), Srba, J. (Ophavsperson) & Thorgersen, M. T. (Ophavsperson), Zenodo, 2020
DOI: 10.5281/zenodo.3888242, https://zenodo.org/record/3888242
Datasæt
-
Experiments for "It's Time to Play Safe: Shield Synthesis for Timed Systems"
Palmisano, A. (Ophavsperson), Lorber, F. (Ophavsperson), Könighofer, B. (Ophavsperson), Jensen, P. G. (Ophavsperson), Bloem, R. (Ophavsperson) & Guldstrand, K. (Ophavsperson), Zenodo, 2020
DOI: 10.5281/zenodo.3903227, https://zenodo.org/record/3903227
Datasæt
-
Generating Instructions at Different Levels of Abstraction
The, 2. I. C. O. C. L. 2. (Ophavsperson), Hoffmann, J. (Ophavsperson), Höller, D. (Ophavsperson), Köhn, A. (Ophavsperson), Koller, A. (Ophavsperson), Torralba, A. (Ophavsperson) & Wichlacz, J. (Ophavsperson), Underline Science Inc., 8 dec. 2020
DOI: 10.48448/9ecx-eq63, https://underline.io/lecture/6296-generating-instructions-at-different-levels-of-abstraction
Datasæt: Supplerende materiale
-
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