Compositional Probabilistic Model Checking with String Diagrams of MDPs.

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

Browse the full CAV paper archive.