E-LIB Suche - Ergebnisse für: Gnad, Daniel

1

Star-topology decoupled state-space search in AI planning a..:

Gnad, Daniel , 2021

Link: https://nbn-resolving.de..

2

Model Checking $$\omega $$-Regular Properties with Decouple..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Gnad, Daniel ; Eisenhut, Jan ; Lluch Lafuente, Alberto. - p. 411-434 , 2021

Link: https://doi.org/10.1007/..

3

Star-topology decoupled state space search:

Gnad, Daniel ; Hoffmann, Jörg
Artificial Intelligence. 257 (2018) - p. 24-60 , 2018

Link: https://doi.org/10.1016/..

4

Supplementary Material for ``Structurally Restricted Fragme..:

Shleyfman, Alexander ; Gnad, Daniel ; Jonsson, Peter
doi:10.5281/zenodo.7704862. , 2023

Link: https://zenodo.org/recor..

5

Technical report and data of the ICAPS'22 paper "Beyond Sta..:

Gnad, Daniel ; Torralba, Álvaro ; Fišer, Daniel
doi:10.5281/zenodo.6384090. , 2022

Link: https://zenodo.org/recor..

6

Additive Pattern Databases for Decoupled Search: Additional..:

Sievers, Silvan ; Gnad, Daniel ; Torralba, Álvaro
info:eu-repo/grantAgreement/EC/H2020/952215/. , 2022

Link: https://zenodo.org/recor..

7

Code, benchmarks and experiment data for the SoCS 2022 pape..:

Sievers, Silvan ; Gnad, Daniel ; Torralba, Álvaro
info:eu-repo/grantAgreement/EC/H2020/952215/. , 2022

Link: https://zenodo.org/recor..

8

Beyond Stars - Generalized Topologies for Decoupled Search:

Gnad, Daniel ; Torralba, Alvaro ; Fišer, Daniel
https://vbn.aau.dk/da/publications/876c6d76-05fa-49d0-acab-c088ed889327. , 2022

Link: https://vbn.aau.dk/da/pu..

9

Code and Benchmark Models of the CAV'21 paper "Model Checki..:

Gnad, Daniel ; Eisenhut, Jan ; Lluch Lafuente, Alberto.
doi:10.5281/zenodo.4501645. , 2021

Link: https://zenodo.org/recor..

10

Model Checking ω -Regular Properties with Decoupled Search:

Gnad, Daniel ; Eisenhut, Jan ; Lluch Lafuente, Alberto.
https://orbit.dtu.dk/en/publications/b80b8c83-8e2c-4f09-90d7-0339e567ab20. , 2021

Link: https://orbit.dtu.dk/en/..

11

Code and Evaluation Results of the Work "Star-Topology Deco..:

Gnad, Daniel
doi:10.5281/zenodo.5230125. , 2021

Link: https://zenodo.org/recor..

12

Code and Benchmark Models of the SPIN 2018 paper "Star-Topo..:

Gnad, Daniel ; Dubbert, Patrick ; Lluch-Lafuente, Alberto.
doi:10.5281/zenodo.5229953. , 2021

Link: https://zenodo.org/recor..

13

Star-topology decoupled state-space search in AI planning a..:

Gnad, Daniel
http://nbn-resolving.org/urn:nbn:de:bsz:291--ds-350352. , 2021

Link: http://nbn-resolving.org..

14

Technical Report accompanying the TACAS'21 submission "Mode..:

Gnad, Daniel ; Eisenhut, Jan ; Lluch-Lafuente, Alberto.
doi:10.5281/zenodo.4091424. , 2020

Link: https://zenodo.org/recor..

15

Code and Benchmark Models of the TACAS'21 submission "Model..:

Gnad, Daniel ; Eisenhut, Jan ; Lluch-Lafuente, Alberto.
doi:10.5281/zenodo.4090482. , 2020

Link: https://zenodo.org/recor..