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...

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 ...

This discussion paper is/has been under review for the journal Atmospheric Chemistry and Physics (ACP). Please refer to the corresponding final paper in ACP if available. Abstract The purpose of the present study is to investigate the uncertainties in simulating secondary organic aerosol (SOA) in Mexico City metropolitan area (MCMA) due to meteorological initial uncertainties using the WRF-CHEM...