Auflistung Institut für Theoretische Informatik nach Titel
Anzeige der Treffer 4-4 von 4
-
PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates
(Technische Universität Dresden, 2021)Source code of the probabilistic model checker PRISM (https://www.prismmodelchecker.org ) that includes all extensions developed for the thesis: 1) implementation of methods for conditional probabilities and expectations, 2) ...