Martin Fränzle, Tino Teige, Andreas Eggers. Satisfaction Meets Expectations Computing Expected Values of Probabilistic Hybrid Systems with SMT.
Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.168-182.
⟨inria-00525144⟩