Parameter synthesis in probabilistic timed automata

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

Aachen (2020) [Master Thesis]

Page(s): 91 Seiten

Identifier

  • REPORT NUMBER: RWTH-2021-01483