Parameter synthesis in bayesian networks

Drahovsky, Robin; Salmani Barzoki, Bahare (Thesis advisor); Katoen, Joost-Pieter (Thesis advisor); Noll, Thomas (Thesis advisor)

Aachen (2020)
Master Thesis

Masterarbeit, RWTH Aachen University, 2020

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]