Gradient-Descent for Randomized Controllers under Partial Observability (Artifact)

Linus Heck; Jip Spel; Sebastian Junges; Joshua Moerman; Joost-Pieter Katoen

doi:10.5281/zenodo.5568910

Gradient-Descent for Randomized Controllers under Partial Observability (Artifact)

Linus Heck
, Jip Spel
, Sebastian Junges
, Joshua Moerman
, Joost-Pieter Katoen

Research output: Non-textual form and Research tools › Software › Academic

Abstract

This upload is a VM containing the artifact accompanying our VMCAI '22 paper "Gradient-Descent for Randomized Controllers under Partial Observability".

Documentation of how to use and extend the tool or reproduce the paper's experiments is found within the VM.

Original language	English
Publisher	Zenodo
Media of output	Online
DOIs	https://doi.org/10.5281/zenodo.5568910
Publication status	Published - 4 Nov 2021

Access to Document

10.5281/zenodo.5568910Licence: GNU GPL

1 Conference Article in proceeding

Gradient-Descent for Randomized Controllers Under Partial Observability
Heck, L., Spel, J., Junges, S., Moerman, J. & Katoen, J.-P., 2022, Verification, model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022 Philadelphia, PA, USA, January 16–18, 2022 Proceedings. Finkbeiner, B. & Wies, T. (eds.). 1 ed. Springer, p. 127-150 24 p. (Lecture Notes in Computer Science, Vol. 13182). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 13182).
Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Cite this

@misc{b7e5ec61fb674c089aef556a226fa2b5,

title = "Gradient-Descent for Randomized Controllers under Partial Observability (Artifact)",

abstract = "This upload is a VM containing the artifact accompanying our VMCAI '22 paper {"}Gradient-Descent for Randomized Controllers under Partial Observability{"}. Documentation of how to use and extend the tool or reproduce the paper's experiments is found within the VM.",

author = "Linus Heck and Jip Spel and Sebastian Junges and Joshua Moerman and Joost-Pieter Katoen",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2021",

month = nov,

day = "4",

doi = "10.5281/zenodo.5568910",

language = "English",

publisher = "Zenodo",

address = "Switzerland",

}

TY - ADVS

T1 - Gradient-Descent for Randomized Controllers under Partial Observability (Artifact)

AU - Heck, Linus

AU - Spel, Jip

AU - Junges, Sebastian

AU - Moerman, Joshua

AU - Katoen, Joost-Pieter

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2021/11/4

Y1 - 2021/11/4

N2 - This upload is a VM containing the artifact accompanying our VMCAI '22 paper "Gradient-Descent for Randomized Controllers under Partial Observability". Documentation of how to use and extend the tool or reproduce the paper's experiments is found within the VM.

AB - This upload is a VM containing the artifact accompanying our VMCAI '22 paper "Gradient-Descent for Randomized Controllers under Partial Observability". Documentation of how to use and extend the tool or reproduce the paper's experiments is found within the VM.

U2 - 10.5281/zenodo.5568910

DO - 10.5281/zenodo.5568910

M3 - Software

PB - Zenodo

ER -

Gradient-Descent for Randomized Controllers under Partial Observability (Artifact)

Abstract

Access to Document

Fingerprint

Research output

Gradient-Descent for Randomized Controllers Under Partial Observability

Cite this