Probabilistic-Systems

Exact Quantitative Probabilistic Model Checking Through Rational Search