Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.

Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges

Browse the full TACAS paper archive.