CSCE 758: Probabilistic System Analysis