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]
No references recorded for this publication.
No citations of this publication recorded.