Login / Signup
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.
Christian Dehnert
Sebastian Junges
Nils Jansen
Florian Corzilius
Matthias Volk
Harold Bruintjes
Joost-Pieter Katoen
Erika Ábrahám
Published in:
CAV (1) (2015)
Keyphrases
</>
probabilistic model
generative model
data driven
uncertain data
real time
probabilistic logic
decision trees
search algorithm
knowledge acquisition
conditional probabilities
parameter values
parameter settings
software tools
texture synthesis
analysis tool
probabilistic approaches