Efficient analysis of time-bounded reachability in markov automata

Xue, Mengying; Katoen, Joost-Pieter (Thesis advisor); Noll, Thomas (Thesis advisor); Quatmann, Tim (Consultant)

Aachen (2021)
Master Thesis

Masterarbeit, RWTH Aachen University, 2021