Efficient Methods and Algorithms for Analyzing Stochastic Systems