Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT.

Martin Frnzle, Tino Teige, Andreas Eggers

Browse the full IFM paper archive.