Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain.

Yang Gao, Martin Frnzle

Browse the full CAV paper archive.