Gradient-Descent for Randomized Controllers Under Partial Observability

Heck, Linus; Spel, Jip Josephine (Corresponding author); Junges, Sebastian; Moerman, Joshua; Katoen, Joost-Pieter

Cham : Springer (2022)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies
Seite(n)/Artikel-Nr.: 127-150

Einrichtungen

• Graduiertenkolleg UnRAVeL [080060]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]