Computing Probabilistic Guarantees of Safety Download pdf Tags: computational methods formal verification imperfect information Stochastic reachability University of New Mexico CPS Technologies Foundations Validation and Verification 2014 2014 CPS-ECP Poster Academia Poster Submissions Posters License: CC-2.5 Submitted by Meeko Oishi on Fri, 05/16/2014 - 16:25