Yang Gao, Martin Fränzle. Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain. In Sergiy Bogomolov, Ashish Tiwari, editors, 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015. Volume 37 of EPiC Series in Computing, pages 2-10, EasyChair, 2015. [doi]
Abstract is missing.