Gravar-mail: Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints