Return to Article Details Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems Download Download PDF