Martin Fränzle, Holger Hermanns, Tino Teige. Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. In Magnus Egerstedt, Bud Mishra, editors, Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings. Volume 4981 of Lecture Notes in Computer Science, pages 172-186, Springer, 2008. [doi]
Abstract is missing.