Gradient descent on parametric Markov Chains

Heck, Linus; Katoen, Joost-Pieter (Thesis advisor); Noll, Thomas (Thesis advisor); Spel, Jip Josephine (Thesis advisor)

Aachen (2020)
Bachelorarbeit

Bachelorarbeit, RWTH Aachen University, 2020

Einrichtungen

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