Fixed Point Certificates for Reachability and Expected Rewards in MDPs.

Krishnendu Chatterjee, Tim Quatmann, Maximilian Schffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken

Browse the full TACAS paper archive.