|
[WEAH23]
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada and Ichiro Hasuo.
Compositional Probabilistic Model Checking with String Diagrams of MDPs.
In Proc. International Conference on Computer Aided Verification (CAV'23).
2023.
[Presents a compositional approach to probabilistic model checking, with an implementation based on PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|