Auflistung Professur für Algebraische und logische Grundlagen der Informatik nach Titel
Anzeige der Treffer 2-2 von 2
-
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) ...