Parameter synthesis in probabilistic timed automata

Kohlen, Bram; Katoen, Joost-Pieter (Thesis advisor); Ábrahám, Erika (Thesis advisor); Spel, Jip Josephine (Consultant)

Aachen (2020)
Masterarbeit

Masterarbeit, RWTH Aachen University, 2020

Einrichtungen

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