Auflistung nach Autor "Liebrenz, Timm"
Anzeige der Dokumente 1-1 von 1
-
Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox
Adelt, Julius; Liebrenz, Timm; Herber, Paula
29-30
Anzeige der Dokumente 1-1 von 1
Adelt, Julius; Liebrenz, Timm; Herber, Paula
29-30