Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints.

Florian Funke, Simon Jantsch, Christel Baier

Browse the full TACAS paper archive.