We address the problem of verifying PCTL properties of Markov Decision Processes whose state transition probabilities are only known to lie within uncertainty sets. Using results from convex theory and duality, we propose a suite of verication algorithms and prove their soundness, completeness and termination when arbitrary convex models of uncertainty are considered. Furthermore, soundness and...

When evaluating investments in energy supply and generation infrastructure nowadays, one is confronted with multiple sources of uncertainty. Examples for such uncertainties are the liberalization of power markets, regulatory uncertainties regarding CO2 pricing mechanisms or the level of feed-in tariffs for renewable energies, and the volatility of fuel prices. The objective of this thesis is to...

Abstract. Communicating a message of scientific uncertainty to general audience is difficult because laypeople usually lack the conceptual tools understand (e.g., quantification methods). In addition, uncertainties can lead mistrust and be misused prevent or delay radioactive waste management. On proposed poster, we report results an experimental study (N=177) that investigated preferences for ...