Merkliste 
 1 Ergebnisse 
 
1

Gradient-Descent for Randomized Controllers Under Partial O..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Heck, Linus ; Spel, Jip ; Junges, Sebastian.. - p. 127-150 , 2022